On the value of variables

DOI10.1007/978-3-662-44145-9_3MaRDI QIDQ2938129zbMATH OpenOpenAlexFDO

Authors Beniamino Accattoli, Claudio Sacerdoti Coen

Publication date 13 January 2015

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44145-9_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• On the value of variables
• The call-by-need lambda calculus
• The call-by-need lambda calculus
• Call-by-need, neededness and all that
• scientific article; zbMATH DE number 1953273

Cited in

(8)

• (In)efficiency and reasonable cost models
• The dynamic geometry of interaction machine: a token-guided graph rewriter
• The Negligible and Yet Subtle Cost of Pattern Matching
• scientific article; zbMATH DE number 6157349 (Why is no real title available?)
• Open call-by-value
• Proof nets and the call-by-value \(\lambda\)-calculus
• scientific article; zbMATH DE number 1953273 (Why is no real title available?)
• On the value of variables

This page was built for publication: On the value of variables

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