1 option
Programming in Martin-Löf's type theory : an introduction / Bengt Nordström, Kent Petersson, and Jan M. Smith.
- Format:
- Book
- Author/Creator:
- Nordström, Bengt.
- Series:
- International series of monographs on computer science ; 7.
- Oxford science publications
- International series of monographs on computer science ; 7
- Language:
- English
- Subjects (All):
- Computer programming.
- Set theory.
- Physical Description:
- x, 221 pages ; 24 cm.
- Place of Publication:
- Oxford : Clarendon Press ; New York : Oxford University Press, 1990.
- Notes:
- Includes bibliographical references (pages [203]-211) and index.
- ISBN:
- 0198538146
- OCLC:
- 20933619
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.