The following pages link to (Q5752573):
Displaying 38 items.
- Inductive types and exact completion (Q556819) (← links)
- What is the world of mathematics? (Q598279) (← links)
- Notions of computation and monads (Q757075) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- A note on Russell's paradox in locally Cartesian closed categories (Q914668) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality (Q1021567) (← links)
- A constructive theory of continuous domains suitable for implementation (Q1023289) (← links)
- Toposes and intuitionistic theories of types (Q1115435) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Type checking with universes (Q1177937) (← links)
- The extended calculus of constructions (ECC) with inductive types (Q1193601) (← links)
- Constructing type systems over an operational semantics (Q1199709) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- A natural semantics of first-order type dependency (Q1314402) (← links)
- \(F\)-semantics for type assignment systems (Q1329739) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Equilogical spaces (Q1826625) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Parametric Church's thesis: synthetic computability without choice (Q2151397) (← links)
- Combinatorial structure of type dependency (Q2254771) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- (Q3201049) (← links)
- Indexed categories for program development (Q3986546) (← links)
- AN INTERPRETATION OF MARTIN‐LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY (Q4295233) (← links)
- (Q4555336) (← links)
- A simple model construction for the Calculus of Constructions (Q4647584) (← links)
- Functional sorts in data type specifications (Q5055916) (← links)
- A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types (Q5056372) (← links)
- From term models to domains (Q5096213) (← links)
- A category-theoretic account of program modules (Q5096254) (← links)
- Quantitative domains, groupoids and linear logic (Q5096259) (← links)
- Dictoses (Q5096262) (← links)
- On the semantics of classical disjunction (Q5939825) (← links)
- On the dependent product in toposes (Q6047709) (← links)
- Semantics for abstract clauses (Q6083702) (← links)
- An exper model for Quest (Q6116585) (← links)
