## 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, }