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