## Alex K. Simpson

*Categorical completeness results for the simply-typed λ-calculus*

TLCA, 1995.

@inproceedings{TLCA-1995-Simpson, author = "Alex K. Simpson", booktitle = "{Proceedings of the Second International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/BFb0014068", isbn = "3-540-59048-X", pages = "414--427", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Categorical completeness results for the simply-typed λ-calculus}", volume = 902, year = 1995, }