Research Catalog
Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / Martin Hofmann (ed.).
- Title
- Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / Martin Hofmann (ed.).
- Author
- International Conference on Typed Lambda Calculi and Applications (6th : 2003 : Valencia, Spain)
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA9.5 .I58 2003 | Off-site | |
Not available - Please for assistance. | Text | Use in library | Off-site |
Details
- Additional Authors
- Hofmann, Martin, 1965-
- Description
- viii, 315 p. : fig.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2701
- Alternative Title
- TLCA 2003
- Subject
- ISBN
- 3540403329 (pbk. : acid-free paper)
- LCCN
- 2003052970
- Owning Institutions
- Columbia University Libraries