Research Catalog
Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings
- Title
- Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / Pierre-Louis Curien (ed.).
- Author
- International Conference on Typed Lambda Calculi and Applications (9th : 2009 : Brasília, Brazil)
- Publication
- Berlin ; New York : Springer-Verlag, [2009], ©2009.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9.5 .I58 2009g | Off-site |
Holdings
Details
- Additional Authors
- Curien, P.-L. (Pierre-Louis)
- Description
- xiii, 415 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 5608
- Uniform Title
- Lecture notes in computer science ; 5608.
- Alternative Title
- TLCA 2009
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 9783642022722
- 3642022723
- OCLC
- ocn401156611
- 401156611
- SCSB-5478574
- Owning Institutions
- Columbia University Libraries