A typed lambda calculus with categorical type constructors (1987)

Cached

Download Links

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

Document Versions

A typed lambda calculus with categorical type constructors –Tatsuya Hagino — 1987 — In Category Theory in Computer Science