Categorical semantics for higher order polymorphic lambda calculus
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4027427
- scientific article; zbMATH DE number 4027428
- scientific article; zbMATH DE number 937388
- Categorical abstract machines for higher-order typed -calculi
- scientific article; zbMATH DE number 2185674
- Categorical models for a semantically linear \(\lambda\)-calculus
- scientific article; zbMATH DE number 3882403
- scientific article; zbMATH DE number 4047683
- Decomposing typed lambda calculus into a couple of categorical programming languages
- scientific article; zbMATH DE number 3999254
Cites work
- Aspects of topoi
- Data Types as Lattices
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3348059 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
- Locally cartesian closed categories and type theory
- Semantics for classical AUTOMATH and related systems
- The „Dialectica”︁ Interpretation and Categories
- Tripos theory
Cited in
(54)- Categorical models of polymorphism
- Categories of embeddings
- \(F\)-semantics for type assignment systems
- Categorical abstract machines for higher-order typed -calculi
- Kripke models and the (in)equational logic of the second-order -calculus
- A game semantics for generic polymorphism
- Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
- Second-order type isomorphisms through game semantics
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
- A categorical semantics of higher order store
- Classifying categories for partial equational logic
- scientific article; zbMATH DE number 2185674 (Why is no real title available?)
- scientific article; zbMATH DE number 3882403 (Why is no real title available?)
- Logical systems. I: Internal calculi.
- scientific article; zbMATH DE number 4148057 (Why is no real title available?)
- scientific article; zbMATH DE number 4152661 (Why is no real title available?)
- scientific article; zbMATH DE number 4154448 (Why is no real title available?)
- Bunched polymorphism
- Typed Applicative Structures and Normalization by Evaluation for System F ω
- scientific article; zbMATH DE number 4027427 (Why is no real title available?)
- scientific article; zbMATH DE number 4027428 (Why is no real title available?)
- scientific article; zbMATH DE number 4059656 (Why is no real title available?)
- scientific article; zbMATH DE number 4061468 (Why is no real title available?)
- Safe recursion revisited. I: Categorical semantics for lower complexity
- scientific article; zbMATH DE number 19052 (Why is no real title available?)
- scientific article; zbMATH DE number 29052 (Why is no real title available?)
- Semantics of the second order lambda calculus
- scientific article; zbMATH DE number 69223 (Why is no real title available?)
- Least fixpoints of endofunctors of cartesian closed categories
- Categorical models for non-extensional λ-calculi and combinatory logic
- scientific article; zbMATH DE number 517051 (Why is no real title available?)
- Categorical data types in parametric polymorphism
- scientific article; zbMATH DE number 1497800 (Why is no real title available?)
- A category-theoretic account of program modules
- scientific article; zbMATH DE number 4120168 (Why is no real title available?)
- A remark on the theory of semi-functors
- Strong almost reducibility for analytic and Gevrey quasi-periodic cocycles
- scientific article; zbMATH DE number 7362475 (Why is no real title available?)
- A category-theoretic account of program modules
- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
- CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES
- Universal properties for universal types in bifibrational parametricity
- Computer Science Logic
- Bifibrational functorial semantics of parametric polymorphism
- An exper model for Quest
- Types, abstraction, and parametric polymorphism, part 2
- A logical aspect of parametric polymorphism
- A characterization of lambda definability in categorical models of implicit polymorphism
- Extensional models for polymorphism
- Functorial polymorphism
- Alpha conversion, conditions on variables and categorical logic
- On some connections between logic and category theory
- A modest model of records, inheritance, and bounded quantification
This page was built for publication: Categorical semantics for higher order polymorphic lambda calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3783264)
