Pages that link to "Item:Q4006232"
From MaRDI portal
The following pages link to Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232):
Displaying 29 items.
- Internal models of system F for decompilation (Q428882) (← links)
- Classical predicative logic-enriched type theories (Q636367) (← links)
- Relations in operational categories (Q678847) (← links)
- Functorial polymorphism (Q753948) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality (Q1021567) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- A two-storied universe of transfinite mechanisms (Q1121881) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- Constructive sets in computable sets (Q1372877) (← links)
- Covariant types (Q1390953) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- A computable expression of closure to efficient causation (Q1617623) (← links)
- Maps. I: Relative to a factorisation system (Q1892302) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Natural deduction based set theories: a new resolution of the old paradoxes (Q3030824) (← links)
- A simple model construction for the Calculus of Constructions (Q4647584) (← links)
- (Q4726218) (← links)
- The S-replete construction (Q5057468) (← links)
- (Q5091148) (← links)
- Computability structures, simulations and realizability (Q5740351) (← links)
- Semantics of constructions. I: The traditional approach (Q5934287) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)
