A typed lambda calculus with categorical type constructors (1987)

View PDF

Download Links

by Tatsuya Hagino
Venue:In Category Theory in Computer Science
Citations:53 - 0 self