Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krakó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...
Corporate Authors: | , |
---|---|
Other Authors: | |
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: |
Internet
Yale University
Call Number: |
QA76 A1 L43 2044 (LC) |
---|
Harvard University
Call Number: |
QA75 .L4 vol. 2044 |
---|
Duke University
Call Number: |
001.64 L471, v. 2044 |
---|
Columbia University
Call Number: |
QA9.5 .I58 2001 |
---|
University of Pennsylvania
Call Number: |
QA9.5 .I58 2001 |
---|