Research Catalog
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
- Title
- Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings / Pawel Urzyczyn.
- Author
- International Conference on Typed Lambda Calculi and Applications (7th : 2005 : Nara-shi, Japan)
- Publication
- Berlin : Springer, [2005], ©2005.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9.5 .I58 2005g | Off-site |
Holdings
Details
- Additional Authors
- Urzyczyn, Paweł.
- Description
- xi, 432 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 3461
- Uniform Title
- Lecture notes in computer science ; 3461.
- Alternative Title
- TLCA 2005
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also available via the World Wide Web.
- ISBN
- 3540255931
- 9783540255932 (canceled/invalid)
- OCLC
- ocm60285877
- SCSB-5177935
- Owning Institutions
- Columbia University Libraries