Typed lambda calculi and applications
Subtitle: International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
By: M. Bezem, J.F. Groote (eds.).
Contributors: Bezem, M. 1956-; Groote, J. F. 1965-
Series: Lecture notes in computer science ;; 664
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 432
Subjects: Lambda calculus -- Congresses
Notes: Includes bibliographical references and index.