1 option
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.
LIBRA QA76 .S425 1997
Available from offsite location
- Format:
- Book
- Series:
- Publications of the Newton Institute ; 14.
- Publications of the Newton Institute ; 14
- Language:
- English
- Subjects (All):
- Electronic data processing.
- Programming languages (Electronic computers)--Semantics.
- Programming languages (Electronic computers).
- Logic, Symbolic and mathematical.
- Physical Description:
- xii, 361 pages : illustrations ; 24 cm.
- Place of Publication:
- Cambridge ; New York : Cambridge University Press, 1997.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 0521580579
- OCLC:
- 35990373
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.