Categorical Completeness Results for the Simply-Typed Lambda-Calculus (1995)

by Alex K. Simpson
Venue:Proceedings of TLCA '95, Springer LNCS 902