Typed lambda calculi and applications
Subtitle: second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
By: Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.
Contributors: Dezani-Ciancaglini, M.; Plotkin, G. 1946-
Series: Lecture notes in computer science ;; 902
Publisher: Springer-Verlag
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 442
Subjects: Lambda calculus -- Congresses
Notes: Includes bibliographical references and index.