A typed lambda calculus with categorical type constructors (1987)

Cached

Download Links

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

Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
397 Category Theory for Computing Science – M Barr, C Wells - 1990
441 The formulas-as-types notion of construction – W A Howard - 1980
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
459 Comprehending Monads – Philip Wadler - 1992
944 A theory of type polymorphism in programming – Robin Milner - 1978
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
742 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
3242 Communication and Concurrency – R Milner - 1989