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.

Description
Item Description:	"December 1992." Abstract also in French.
Physical Description:	v, 28 pages : illustrations ; 30 cm.
Bibliography:	Includes bibliographical references (pages 26-28).