The following pages link to (Q3216629):
Displayed 43 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Equational theories for inductive types (Q678762) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Fixed points in Cartesian closed categories (Q753945) (← links)
- Functorial polymorphism (Q753948) (← links)
- The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- The system \({\mathcal F}\) of variable types, fifteen years later (Q1091379) (← links)
- The calculus of constructions (Q1108266) (← links)
- A small complete category (Q1112159) (← 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)
- Finitely stratified polymorphism (Q1175334) (← links)
- Subtyping can have a simple semantics (Q1177151) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Covariant types (Q1390953) (← links)
- Domain theoretic models of polymorphism (Q1824612) (← links)
- The Girard-Reynolds isomorphism (Q1887154) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Polymorphic extensions of simple type structures. With an application to a bar recursive minimization (Q1919547) (← links)
- Parametricity for primitive nested types (Q2233419) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Internal enriched categories (Q2674401) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)
- (Q3483291) (← links)
- A simple model construction for the Calculus of Constructions (Q4647584) (← links)
- (Q5028445) (← links)
- Functional sorts in data type specifications (Q5055916) (← links)
- On generalized algebraic theories and categories with families (Q5084311) (← links)
- Martin Hofmann's Case for Non-Strictly Positive Data Types (Q5091141) (← links)
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties (Q5096235) (← links)
- Intuitive counterexamples for constructive fallacies (Q5096872) (← links)
- Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- Initial algebra semantics for lambda calculi (Q5887531) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)
- Types, abstraction, and parametric polymorphism, part 2 (Q6171748) (← links)
- An intuitionistic set-theoretical model of fully dependent CC (Q6174091) (← links)