A typed lambda calculus with categorical type constructors (1987)


Download Links

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

Active Bibliography

30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
66 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987