Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings /

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research resul...

Full description

Bibliographic Details
Corporate Authors:	International Conference on Typed Lambda Calculi and Applications Kraków, Poland, International Conference on Typed Lambda Calculi and Applications Kraków, Poland
Other Authors:	Abramsky, Samson, 1953-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, 2001 Berlin ; New York : c2001 New York : 2001 Berlin ; New York : [2001]
Series:	Lecture notes in computer science, 2044 Lecture notes in computer science ; 2044 Lecture notes in computer science ; 2044 Lecture notes in computer science 2044 Lecture notes in computer science 2044
Subjects:	Computer science Lambda calculus > Congresses Logic design Logic, Symbolic and mathematical Lambda-calcul > Congrès Lambda calculus Typisierter Lambda-Kalkül Lambda-calculus Krakau <2001> Kongress > Krakau > 2001 Conference papers and proceedings Krakau (2001)

Internet

Yale University

Holdings details from Yale University
Call Number:	QA76 A1 L43 2044 (LC)

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 2044

Duke University

Holdings details from Duke University
Call Number:	001.64 L471, v. 2044

Columbia University

Holdings details from Columbia University
Call Number:	QA9.5 .I58 2001

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number:	QA9.5 .I58 2001