Labelled calculi of resources
From MaRDI portal
Publication:2937686
DOI10.1093/LOGCOM/EXS021zbMATH Open1303.03035OpenAlexW1965997115MaRDI QIDQ2937686FDOQ2937686
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
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
Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (9)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- The Prismoid of Resources
- Some 3-Dimensional Systems of Labelled Deduction
- Exponentials as substitutions and the cost of cut elimination in linear logic
- Geometry of resource interaction -- \textit{a minimalist approach}
- Labelled \(\lambda\)-calculi with explicit copy and erase
- Levy labels and recursive types
- A prismoid framework for languages with resources
- A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine
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)
