On functors expressible in the polymorphic typed lambda calculus (1990)
by
John C. Reynolds
,
Gordon D. Plotkin
| Venue: | Logical Foundations of Functional Programming |
| Citations: | 16 - 1 self |
Document Versions
| On functors expressible in the polymorphic typed lambda calculus –John C. Reynolds, Gordon D. Plotkin — 1990 — Logical Foundations of Functional Programming |
