A typed lambda calculus with categorical type constructors (1987)
by
Tatsuya Hagino
| Venue: | In Category Theory in Computer Science |
| Citations: | 45 - 0 self |
Document Versions
| A typed lambda calculus with categorical type constructors –Tatsuya Hagino — 1987 — In Category Theory in Computer Science |
