 :/LC.GIF&client=easterncarolinaedu)
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/creator | International Conference on Typed Lambda Calculi and Applications |
| Other author | Dezani-Ciancaglini, M. (Mariangiola) |
| Other author | Plotkin, G. (Gordon), 1946- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1995. |
| Description | viii, 442 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 902 Lecture notes in computer science 902. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 95005969 |
| ISBN | 354059048X (Berlin : =bk. : acid-free paper) : |
| ISBN | 038759048X (New York : pbk. : acid-free paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA9.5 .I58 1995 | ✔ Available | Place Hold |