Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / Samson Abramsky (ed.).
| Author/creator | International Conference on Typed Lambda Calculi and Applications 2001 : Kraków, Poland) |
| Other author/creator | Abramsky, Samson, 1953- |
| Format | Electronic, Book, and Print |
| Publication Info | Berlin ; New York : Springer, ©2001. |
| Description | xi, 429 pages : illustrations ; 24 cm. |
| Supplemental Content | http://link.springer-ny.com/link/service/series/0558/tocs/t2044.htm |
| Subject(s) |
Click here for more information about this title
| Portion of title | TLCA 2001 |
| Series | Lecture notes in computer science ; 2044 Lecture notes in computer science 2044. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also available by subscription via the World Wide Web. |
| LCCN | 2001031431 |
| ISBN | 3540419608 (acid-free paper) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA9.5 .I58 2001 | ✔ Available | Place Hold |