A characterization of lambda definability in categorical models of implicit polymorphism
Under a Creative Commons license
open archive
Cited by (0)
Research supported by a graduate fellowship from the University of Pennsylvania Institute for Research in Cognitive Science.
- *
Deceased 29 August 1994. An obituary appears in this issue. Correspondence to A. Scedrov, Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104, USA.
Copyright © 1995 Published by Elsevier B.V.