scientific article; zbMATH DE number 7356671

MaRDI QIDQ4992391zbMATH OpenFDO

Authors Beniamino Accattoli

Publication date 8 June 2021

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

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Recommendations

• Proof nets and the call-by-value \(\lambda\)-calculus
• scientific article; zbMATH DE number 2134911
• Proof Nets for Lambek Calculus
• Call-by-value combinatory logic and the lambda-value calculus
• Polarized proof-nets and \(\lambda \mu\)-calculus
• Light Logics and the Call-by-Value Lambda Calculus
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 6296859
• scientific article; zbMATH DE number 7650848
• Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus

Cited in

(9)

• Proof nets and the linear substitution calculus
• A formal equational theory for call-by-push-value
• On the value of variables
• Jumping Boxes
• scientific article; zbMATH DE number 177801 (Why is no real title available?)
• scientific article; zbMATH DE number 2134911 (Why is no real title available?)
• Labelled \(\lambda\)-calculi with explicit copy and erase
• Call-by-Value  -calculus and LJQ
• Proof nets and the call-by-value \(\lambda\)-calculus

This page was built for publication:

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