A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation

DOI10.1007/978-3-642-32943-2_8zbMath1362.68036OpenAlexW114142161MaRDI QIDQ2915102

Mercedes Hidalgo-Herrero, Lidia Sánchez-Gil, Yolanda Ortega-Mallén

Publication date: 21 September 2012

Published in: Theoretical Aspects of Computing – ICTAC 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32943-2_8

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

The Role of Indirections in Lazy Natural Semantics

This page was built for publication: A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation