Giulio Manzonetto, Michele Pagani
Böhm’s Theorem for Resource λ Calculus through Taylor Expansion
TLCA, 2011.
@inproceedings{TLCA-2011-ManzonettoP,
author = "Giulio Manzonetto and Michele Pagani",
booktitle = "{Proceedings of the 10th International Conference on Typed Lambda Calculi and Applications}",
doi = "10.1007/978-3-642-21691-6_14",
isbn = "978-3-642-21690-9",
pages = "153--168",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Böhm’s Theorem for Resource λ Calculus through Taylor Expansion}",
volume = 6690,
year = 2011,
}