1 option
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith.
- Format:
- Book
- Series:
- Oxford logic guides ; 36.
- Oxford logic guides ; 36
- Language:
- English
- Subjects (All):
- Type theory--Congresses.
- Type theory.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- 1 online resource (vii, 283 pages).
- Place of Publication:
- Oxford : Oxford University Press, 2020.
- System Details:
- text file
- Summary:
- Martin-Löf type theory is an important and practical formalisation of the foundations of mathematics. This volume celebrates the 25th anniversary of the birth of the subject, and is a record of areas of activity and of its early development.
- Notes:
- Previously issued in print: Oxford: Clarendon Press, 1998.
- Includes bibliographical references.
- Description based on print version record and publisher information
- Other Format:
- Print version
- ISBN:
- 9780191916540
- 0191916544
- OCLC:
- 1222774932
- Access Restriction:
- Restricted for use by site license.
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.