Semantics of linear/modal lambda calculus
From MaRDI portal
Recommendations
- Lambda calculus and intuitionistic linear logic
- scientific article; zbMATH DE number 3909726
- Linear Läuchli semantics
- Semantics of a relational \(\lambda\)-calculus
- Semantics of a typed algebraic lambda-calculus
- Linear lambda-terms and natural deduction
- scientific article; zbMATH DE number 6148924
- A linearization of the Lambda-calculus and consequences
- scientific article; zbMATH DE number 3889500
- Models of the lambda calculus
Cited in
(16)- Safe recursion with higher types and BCK-algebra
- Semantics of a relational \(\lambda\)-calculus
- Structural recursion as a query language on lists and ordered trees
- Introducing a calculus of effects and handlers for natural language semantics
- What is a model for a semantically linear -calculus?
- One method of defining the semantics of programming language constructs in terms of lambda calculus. II
- scientific article; zbMATH DE number 4045729 (Why is no real title available?)
- Semantics of the second order lambda calculus
- scientific article; zbMATH DE number 1223626 (Why is no real title available?)
- scientific article; zbMATH DE number 512781 (Why is no real title available?)
- scientific article; zbMATH DE number 1954368 (Why is no real title available?)
- scientific article; zbMATH DE number 2085244 (Why is no real title available?)
- Lambda terms for natural deduction, sequent calculus and cut elimination
- Categorical models for a semantically linear \(\lambda\)-calculus
- Initial algebra semantics for lambda calculi
- The semantics of second-order lambda calculus
This page was built for publication: Semantics of linear/modal lambda calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934238)
