Research Catalog
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
- Title
- Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.
- Author
- International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgh, Scotland)
- Publication
- Berlin ; New York : Springer-Verlag, c1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 95-965 | Offsite |
Details
- Additional Authors
- Description
- viii, 442 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 902
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 95-965
- ISBN
- 354059048X (Berlin : =bk. : acid-free paper)
- 038759048X (New York : pbk. : acid-free paper)
- LCCN
- 95005969
- OCLC
- 32014143
- Conference
- International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgh, Scotland)
- Title
- Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.
- Imprint
- Berlin ; New York : Springer-Verlag, c1995.
- Series
- Lecture notes in computer science ; 902
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Dezani-Ciancaglini, M. (Mariangiola)Plotkin, G. (Gordon), 1946-
- Research Call Number
- JSE 95-965