The following pages link to (Q3786612):
Displaying 40 items.
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Realizability models and implicit complexity (Q534712) (← links)
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Equational theories for inductive types (Q678762) (← links)
- Extensional models for polymorphism (Q749518) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Functorial polymorphism (Q753948) (← links)
- The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Polymorphism and apartness (Q1182690) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus (Q1356979) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Covariant types (Q1390953) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- Domain theoretic models of polymorphism (Q1824612) (← links)
- Realizability models for BLL-like languages (Q1827395) (← links)
- The Girard-Reynolds isomorphism (Q1887154) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Internal enriched categories (Q2674401) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- (Q3986546) (← links)
- A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types (Q5056372) (← links)
- Singleton, union and intersection types for program extraction (Q5096245) (← links)
- An extension of system F with subtyping (Q5096247) (← links)
- Independence results for calculi of dependent types (Q5096258) (← links)
- Dictoses (Q5096262) (← links)
- Intuitive counterexamples for constructive fallacies (Q5096872) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)
- What should a generic object be? (Q6174093) (← links)
