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

Cached

Download Links

by Alex K. Simpson
Venue:Proceedings of TLCA '95, Springer LNCS 902
Citations:10 - 0 self