2 options
Proofs and types / Jean-Yves Girard ; translated with appendices by Paul Taylor, Yves Lafont.
Math/Physics/Astronomy Library QA76.6 .G5613 1989
Available
LIBRA QA76.6 .G5613 1989
Available from offsite location
- Format:
- Book
- Author/Creator:
- Girard, Jean-Yves.
- Series:
- Cambridge tracts in theoretical computer science ; 7.
- Cambridge tracts in theoretical computer science ; 7
- Language:
- English
- French
- Subjects (All):
- Computer programming.
- Logic, Symbolic and mathematical.
- Physical Description:
- xi, 176 pages : illustrations ; 26 cm.
- Place of Publication:
- Cambridge ; New York : Cambridge University Press, 1989.
- Notes:
- Translated from the French.
- Includes bibliographical references (pages 162-165) and index.
- ISBN:
- 0521371813
- OCLC:
- 20170936
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.