scientific article; zbMATH DE number 937388
From MaRDI portal
Publication:4896529
Recommendations
- scientific article; zbMATH DE number 4027427
- scientific article; zbMATH DE number 4027428
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- Categorical models for a semantically linear \(\lambda\)-calculus
- scientific article; zbMATH DE number 2185674
- A characterization of lambda definability in categorical models of implicit polymorphism
- Categorical models for non-extensional λ-calculi and combinatory logic
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- On functors expressible in the polymorphic typed lambda calculus
Cited in
(16)- Nominal lambda calculus: an internal language for FM-Cartesian closed categories
- scientific article; zbMATH DE number 1696771 (Why is no real title available?)
- scientific article; zbMATH DE number 4027428 (Why is no real title available?)
- A domain-theoretic semantics of lax generic functions.
- scientific article; zbMATH DE number 3882403 (Why is no real title available?)
- scientific article; zbMATH DE number 4158597 (Why is no real title available?)
- scientific article; zbMATH DE number 4027427 (Why is no real title available?)
- scientific article; zbMATH DE number 4047715 (Why is no real title available?)
- scientific article; zbMATH DE number 2185674 (Why is no real title available?)
- Polarized Montagovian Semantics for the Lambek-Grishin Calculus
- Categorical models of polymorphism
- Domain theoretic models of polymorphism
- Categorical semantics for higher order polymorphic lambda calculus
- A note on categorical datatypes
- System F i
- scientific article; zbMATH DE number 4154448 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4896529)
