Research Catalog
Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings
- Title
- Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings / Simona Ronchi della Rocca (ed.).
- Author
- International Conference on Typed Lambda Calculi and Applications (8th : 2007 : Paris, France)
- Publication
- Berlin ; New York : Springer, [2007], ©2007.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9.5 .I58 2007g | Off-site |
Holdings
Details
- Additional Authors
- Ronchi Della Rocca, S. (Simona)
- Description
- x, 395 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 4583
- Uniform Title
- Lecture notes in computer science ; 4583.
- Alternative Title
- TLCA 2007
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 9783540732273 (pbk.)
- 3540732276 (pbk.)
- LCCN
- 2007929386
- OCLC
- ocn145453786
- 145453786
- SCSB-5351399
- Owning Institutions
- Columbia University Libraries