Labelled -calculi with explicit copy and erase

MaRDI QIDQ5150152zbMATH OpenFDO

Authors Maribel Fernández, Nikolaos Siafakas

Publication date 9 February 2021

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Recommendations

• Labelled calculi of resources
• A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine
• Proof nets and the call-by-value \(\lambda\)-calculus
• A -calculus with explicit weakening and explicit substitution
• scientific article; zbMATH DE number 7356671

Cited in

(3)

• A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine
• Labelled calculi of resources
• Proof nets and the call-by-value \(\lambda\)-calculus

This page was built for publication: Labelled \(\lambda\)-calculi with explicit copy and erase

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