On functors expressible in the polymorphic typed lambda calculus (1990)

Cached

Download Links

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