Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). This book contains the contributed papers, and extended abstracts of two invite...

Full description

Bibliographic Details
Corporate Authors:	International Conference on Typed Lambda Calculi and Applications Nara, Japan, International Conference on Typed Lambda Calculi and Applications Nara-shi, Japan
Other Authors:	Urzyczyn, Pawel, Urzyczyn, Paweł
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin : Springer, c2005 Berlin : ©2005 Berlin ; New York : c2005 Berlin : ©2005
Series:	Lecture notes in computer science, 3461 Lecture notes in computer science ; 3461 Lecture notes in computer science ; 3461 Lecture notes in computer science 3461
Subjects:	Lambda calculus > Congresses Lambda-calcul > Congrès Informatique appliquée Informatique Lambda calculus Lambda-calcul typé Lambda calculi RDP Rewriting TLCA Typed lambda calculi Electronic books Conference papers and proceedings

Internet

Stanford University

Holdings details from Stanford University
Call Number:	QA9.5 .I58 2005

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA9.5.I58 2005

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA9.5.I58 2005

Cornell University

Holdings details from Cornell University
Call Number:	QA9.5 .I61 2005

Brown University

Holdings details from Brown University
Call Number:	QA9.5 .I58 2005