Labelled calculi of resources

DOI10.1093/LOGCOM/EXS021zbMath1303.03035OpenAlexW1965997115MaRDI QIDQ2937686

Nikolaos Siafakas, Maribel Fernández

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

lambda calculusexplicit substitutionsgeometry of interactionlabels

Mathematics Subject Classification ID

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

Related Items (1)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

This page was built for publication: Labelled calculi of resources