Pages that link to "Item:Q4006232"
From MaRDI portal
The following pages link to Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232):
Displayed 18 items.
- 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)
- 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)
- Maps. I: Relative to a factorisation system (Q1892302) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Semantics of constructions. I: The traditional approach (Q5934287) (← links)