18 Mar
1999
18 Mar
'99
11:26 p.m.
My 1987 JSL paper is a start - "Categorical Semantics for Higher-Order Polymorphic Lambda Calculus", JSL 52 (1987) 4, pp 969 - 989. In particular, look at section 3, where the model of closure operators is described in categorical terms. = rags = On Thu, 18 Mar 1999, Elaine Gouvea Pimentel wrote:
I'd like to know if there is any categorical model for polymorphic lambda-calculus.
================================= <rags@math.mcgill.ca> <http://www.math.mcgill.ca/~rags>