Parametricity as Isomorphism (1993)

Cached

Download Links

by Edmund Robinson , Edmund Robinson
Venue:Theoretical Computer Science
Citations:1 - 1 self

Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
430 Introduction to higher order categorical logic Cambridge – J Lambek, P J Scott - 1986
397 Category Theory for Computing Science – M Barr, C Wells - 1990
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
236 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
113 Metric spaces, generalized logic, and closed categories – F William Lawvere - 1974
107 Coherence for tricategories – R Gordon, A J Power, R Street - 1995
105 Functional programming and Input/Output – A D Gordon - 1994
100 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995