On the value of variables

DOI10.1007/978-3-662-44145-9_3zbMATH Open1372.68054OpenAlexW2186958703MaRDI QIDQ2938129FDOQ2938129

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (8)

• The dynamic geometry of interaction machine: a token-guided graph rewriter
• (In)efficiency and reasonable cost models
• The Negligible and Yet Subtle Cost of Pattern Matching
• Title not available (Why is that?)
• Open call-by-value
• Proof nets and the call-by-value \(\lambda\)-calculus
• Title not available (Why is that?)
• 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)