A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation.

Lidia Snchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Malln

Browse the full ICTAC paper archive.