Ugo Dal Lago, Simone Martini. An Invariant Cost Model for the Lambda Calculus. In Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker, editors, Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings. Volume 3988 of Lecture Notes in Computer Science, pages 105-114, Springer, 2006. [doi]
@inproceedings{LagoM06,
title = {An Invariant Cost Model for the Lambda Calculus},
author = {Ugo Dal Lago and Simone Martini},
year = {2006},
doi = {10.1007/11780342_11},
url = {http://dx.doi.org/10.1007/11780342_11},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/LagoM06},
cites = {0},
citedby = {0},
pages = {105-114},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings},
editor = {Arnold Beckmann and Ulrich Berger and Benedikt Löwe and John V. Tucker},
volume = {3988},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-35466-2},
}