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

Document Versions

Categorical Completeness Results for the Simply-Typed Lambda-Calculus –Alex K. Simpson — 1995 — Proceedings of TLCA '95, Springer LNCS 902