The genericity theorem and the notion of parametricity in the polymorphic [lambda]-calculus /

Bibliographic Details

Main Author:	Longo, G. Giuseppe
Other Authors:	Milstead, Kathleen, Soloviev, Sergei
Format:	Book
Language:	English
Published:	Rueil Malmaison, France : Digital, Paris Research Laboratory, [1992]
Series:	Research report (Digital Equipment Corporation. Paris Research Laboratory) ; no. 21.
Subjects:	Lambda calculus. Type theory. Logic, Symbolic and mathematical.