Pages that link to "Item:Q3783264"
From MaRDI portal
The following pages link to Categorical semantics for higher order polymorphic lambda calculus (Q3783264):
Displaying 32 items.
- Logical systems. I: Internal calculi. (Q326587) (← links)
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Extensional models for polymorphism (Q749518) (← links)
- Functorial polymorphism (Q753948) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- On some connections between logic and category theory (Q919088) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- Categories of embeddings (Q1263665) (← links)
- \(F\)-semantics for type assignment systems (Q1329739) (← links)
- Categorical abstract machines for higher-order typed \(\lambda\)-calculi (Q1349667) (← links)
- Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus (Q1356979) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes (Q2229273) (← links)
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- (Q3483291) (← links)
- Bunched polymorphism (Q3545274) (← links)
- Typed Applicative Structures and Normalization by Evaluation for System F ω (Q3644739) (← links)
- (Q3986546) (← links)
- Semantics of the second order lambda calculus (Q4006235) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- Categorical models for non-extensional λ-calculi and combinatory logic (Q4279260) (← links)
- Categorical data types in parametric polymorphism (Q4286531) (← links)
- A category-theoretic account of program modules (Q4713399) (← links)
- A remark on the theory of semi-functors (Q4847309) (← links)
- A category-theoretic account of program modules (Q5096254) (← links)
- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa (Q5096261) (← links)
- CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES (Q5249254) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)
