Research Catalog
Logical frameworks
- Title
- Logical frameworks / edited by Gérard Huet, G. Plotkin.
- Publication
- Cambridge [England] ; New York : Cambridge University Press, 1991.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 92-1936 | Offsite |
Details
- Additional Authors
- Description
- xii, 403 p. : ill.; 24 cm.
- Subjects
- Note
- "Papers presented at the first annual Workshop held under the auspices of the ESPRIT Basic Research Action 3245, "Logical Frameworks: Design, Implementation and Experiment" ... [held] at Sophia-Antipolis, France ... 1990"--P. [vii].
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 92-1936
- ISBN
- 0521413001
- OCLC
- 27810927
- NYPG92-B17482
- Title
- Logical frameworks / edited by Gérard Huet, G. Plotkin.
- Imprint
- Cambridge [England] ; New York : Cambridge University Press, 1991.
- Bibliography
- Includes bibliographical references.
- Added Author
- Huet, Gérard.Plotkin, G. (Gordon), 1946-
- Research Call Number
- JSE 92-1936