Labelled calculi of resources

DOI10.1093/LOGCOM/EXS021MaRDI QIDQ2937686zbMATH OpenOpenAlexFDO

Authors Maribel Fernández, Nikolaos Siafakas

Publication date 12 January 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/eea1984076171804a47e38cc0da03126e17056b2

zbMATH Keywords

labelsgeometry of interactionlambda calculusexplicit substitutions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Labelled \(\lambda\)-calculi with explicit copy and erase
• A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine
• Geometry of resource interaction -- \textit{a minimalist approach}
• Resource operators for \(\lambda\)-calculus
• A semantics for lambda calculi with resources

Cited in

(9)

• A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine
• The Prismoid of Resources
• Geometry of resource interaction -- \textit{a minimalist approach}
• Labelled \(\lambda\)-calculi with explicit copy and erase
• Exponentials as substitutions and the cost of cut elimination in linear logic
• Levy labels and recursive types
• Some 3-Dimensional Systems of Labelled Deduction
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
• A prismoid framework for languages with resources

This page was built for publication: Labelled calculi of resources

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