## Richard Statman

*Consequences of Jacopini’s Theorem: Consistent Equalities and Equations*

TLCA, 1999.

@inproceedings{TLCA-1999-Statman, author = "Richard Statman", booktitle = "{Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-48959-2_25", isbn = "3-540-65763-0", pages = "355--364", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Consequences of Jacopini’s Theorem: Consistent Equalities and Equations}", volume = 1581, year = 1999, }