Typed lambda calculi and applications
Subtitle: 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings
By: Simona Ronchi della Rocca (ed.).
Contributors: Ronchi Della Rocca, S.
Series: Lecture notes in computer science -- 4583.
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 395
ISBN-13: 9783540732273
Subjects: Lambda calculus -- Congresses.
Genres: Congresses.
Other titles: TLCA 2007.
Notes: Includes bibliographical references and author index.