Research Catalog
Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
- Title
- Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, eds.
- Publication
- Berlin ; New York : Springer-Verlag, c1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 94-1771 | Offsite |
Details
- Additional Authors
- Description
- 383 p.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 806
- Subjects
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 94-1771
- ISBN
- 3540580859
- 0387580859 (New York : pbk. : acid-free paper)
- LCCN
- 94012368
- OCLC
- 30399538
- NYPGR30399538-B
- Title
- Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, eds.
- Imprint
- Berlin ; New York : Springer-Verlag, c1994.
- Series
- Lecture notes in computer science ; 806
- Bibliography
- Includes bibliographical references.
- Added Author
- Barendregt, H. P. (Hendrik Pieter)Nipkow, Tobias, 1958-
- Research Call Number
- JSE 94-1771