Categorical semantics for higher order polymorphic lambda calculus
From MaRDI portal
Publication:3783264
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
- 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?)
- Aspects of topoi
- Data Types as Lattices
- 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
(52)- scientific article; zbMATH DE number 517051 (Why is no real title available?)
- A category-theoretic account of program modules
- Classifying categories for partial equational logic
- Semantics of the second order lambda calculus
- scientific article; zbMATH DE number 7362475 (Why is no real title available?)
- Categorical models for non-extensional λ-calculi and combinatory logic
- A modest model of records, inheritance, and bounded quantification
- Second-order type isomorphisms through game semantics
- scientific article; zbMATH DE number 29052 (Why is no real title available?)
- scientific article; zbMATH DE number 4120168 (Why is no real title available?)
- scientific article; zbMATH DE number 3882403 (Why is no real title available?)
- A category-theoretic account of program modules
- scientific article; zbMATH DE number 4027427 (Why is no real title available?)
- Categorical models of polymorphism
- Alpha conversion, conditions on variables and categorical logic
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
- \(F\)-semantics for type assignment systems
- On some connections between logic and category theory
- A remark on the theory of semi-functors
- Categorical abstract machines for higher-order typed \(\lambda\)-calculi
- A characterization of lambda definability in categorical models of implicit polymorphism
- An exper model for Quest
- scientific article; zbMATH DE number 4027428 (Why is no real title available?)
- CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES
- Typed Applicative Structures and Normalization by Evaluation for System F ω
- scientific article; zbMATH DE number 69223 (Why is no real title available?)
- Bunched polymorphism
- Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus
- scientific article; zbMATH DE number 4059656 (Why is no real title available?)
- scientific article; zbMATH DE number 4061468 (Why is no real title available?)
- scientific article; zbMATH DE number 4148057 (Why is no real title available?)
- Extensional models for polymorphism
- Strong almost reducibility for analytic and Gevrey quasi-periodic cocycles
- Computer Science Logic
- scientific article; zbMATH DE number 4152661 (Why is no real title available?)
- Types, abstraction, and parametric polymorphism, part 2
- Bifibrational functorial semantics of parametric polymorphism
- scientific article; zbMATH DE number 2185674 (Why is no real title available?)
- Logical systems. I: Internal calculi.
- A categorical semantics of higher order store
- Categories of embeddings
- scientific article; zbMATH DE number 4154448 (Why is no real title available?)
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories
- Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
- A logical aspect of parametric polymorphism
- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
- Least fixpoints of endofunctors of cartesian closed categories
- Categorical data types in parametric polymorphism
- A game semantics for generic polymorphism
- Safe recursion revisited. I: Categorical semantics for lower complexity
- Functorial polymorphism
- Universal properties for universal types in bifibrational parametricity
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)
