Label-selective [lambda]-calculus /

Bibliographic Details

Main Author:	Aït-Kaci, Hassan, 1954-
Other Authors:	Garrigue, Jacques
Format:	Book
Language:	English
Published:	Rueil Malmaison, France : Digital, Paris Research Laboratory, [1993]
Series:	Research report (Digital Equipment Corporation. Paris Research Laboratory) ; no. 31.
Subjects:	Lambda calculus. Logic, Symbolic and mathematical.