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

by
Alex K. Simpson

Venue: | Proceedings of TLCA '95, Springer LNCS 902 |

Citations: | 9 - 0 self |