Research Catalog
Games and full abstraction for a functional metalanguage with recursive types
- Title
- Games and full abstraction for a functional metalanguage with recursive types / Guy McCusker.
- Author
- McCusker, G. (Guy)
- Publication
- London ; New York : Springer, c1998.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 99-1132 | Offsite |
Details
- Description
- xiii, 189 p. : ill.; 24 cm.
- Series Statement
- Distinguished dissertations
- Uniform Title
- Distinguished dissertations (Springer-Verlag)
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [175]-184) and index.
- Call Number
- JSE 99-1132
- ISBN
- 3540762558 (hardcover : alk. paper)
- LCCN
- 98018047
- OCLC
- 38870713
- Author
- McCusker, G. (Guy)
- Title
- Games and full abstraction for a functional metalanguage with recursive types / Guy McCusker.
- Imprint
- London ; New York : Springer, c1998.
- Series
- Distinguished dissertationsDistinguished dissertations (Springer-Verlag)
- Bibliography
- Includes bibliographical references (p. [175]-184) and index.
- Research Call Number
- JSE 99-1132