The following pages link to A small complete category (Q1112159):
Displayed 28 items.
- Extensional models for polymorphism (Q749518) (← links)
- Functorial polymorphism (Q753948) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Recursion over realizability structures (Q1173956) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- The extended calculus of constructions (ECC) with inductive types (Q1193601) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- From constructivism to computer science (Q1274450) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Constructive sets in computable sets (Q1372877) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- Realizability models for BLL-like languages (Q1827395) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- (Q3483291) (← links)
- Bunched polymorphism (Q3545274) (← links)
- Semantics of the second order lambda calculus (Q4006235) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- Building domains from graph models (Q4279258) (← links)
- Categorical data types in parametric polymorphism (Q4286531) (← links)
- Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic (Q4372922) (← links)
- Two remarks on the Lifschitz realizability topos (Q4879901) (← links)
- Semantics of constructions. I: The traditional approach (Q5934287) (← links)