Categorical models for a semantically linear -calculus

MaRDI QIDQ5150148zbMATH OpenFDO

Authors Marco Gaboardi, Mauro Piccolo

Publication date 9 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2009.1

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Functional programming and lambda calculus (68N18)

Recommendations

• What is a model for a semantically linear  -calculus?
• The call-by-value λ-calculus: a semantic investigation
• Relating categorical semantics for intuitionistic linear logic
• On the categorical semantics of elementary linear logic
• Semantics of linear/modal lambda calculus

Cited in

(17)

• A concrete categorical semantics of lambda-\(\mathcal{S}\)
• Order-enriched categorical models of the classical sequent calculus
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
• What is a model for a semantically linear  -calculus?
• On the categorical semantics of elementary linear logic
• Categorical semantics for higher order polymorphic lambda calculus
• scientific article; zbMATH DE number 1330136 (Why is no real title available?)
• scientific article; zbMATH DE number 512781 (Why is no real title available?)
• scientific article; zbMATH DE number 937388 (Why is no real title available?)
• Categorical models of the differential λ-calculus
• Quantitative semantics of the lambda calculus. Some generalisations of the relational model
• Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
• CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES
• Weighted relational models of typed lambda-calculi
• A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation

This page was built for publication: Categorical models for a semantically linear \(\lambda\)-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5150148)