Standardization in resource -calculus

MaRDI QIDQ4986738zbMATH OpenFDO

Authors Maurizio Dominici, Paolo Tranquilli, Simona Ronchi Della Rocca

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1211.4097, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2012.1

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Solvability in resource lambda-calculus
• Linearity, non-determinism and solvability
• A semantics for lambda calculi with resources
• Geometry of resource interaction -- \textit{a minimalist approach}
• Standardization of a Call-By-Value Lambda-Calculus

Cited in

(2)

• Linearity, non-determinism and solvability
• Solvability in resource lambda-calculus

This page was built for publication: Standardization in resource \(\lambda\)-calculus

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