Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings / Pawel Urzyczyn.
| Author/creator | International Conference on Typed Lambda Calculi and Applications |
| Other author | Urzyczyn, Paweł. |
| Format | Electronic |
| Publication Info | Berlin : Springer, ©2005. |
| Description | xi, 432 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to SpringerLink subscribers |
| Subjects |
| Portion of title | TLCA 2005 |
| Series | Lecture notes in computer science ; 3461, 0302-9743 ; Lecture notes in computer science 3461. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| LCCN | 2005924303 |
| ISBN | 3540255931 |
| ISBN | 9783540255932 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA9.5 .I58 2005 | ✔ Available | Place Hold |