A typed lambda calculus with categorical type constructors (1987)


Download Links

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

Active Bibliography

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