Typed lambda calculi and applications
Subtitle: 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
By: Pawel Urzyczyn.
Contributors: Urzyczyn, Pawel.
Series: Lecture notes in computer science,; 3461
Publisher: Springer
Published: 2005
Place of publication: Berlin
Language: eng
Number of pages: 432
Subjects: Lambda calculus -- Congresses.
Genres: Congresses.
Other titles: TLCA 2005
Notes: Includes bibliographical references and index.
Also available via the World Wide Web.