Twenty Five Years of Constructive Type Theory

Martin-Löf Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. Per Martin-Löf's work has been of huge significance in the fields of logic and the foundations of mathematics, and has important applications in areas su...

Full description

Saved in:
Bibliographic Details
Main Authors Sambin, Giovanni, Smith, Jan M
Format eBook
LanguageEnglish
Published Oxford Oxford University Press, Incorporated 1998
Clarendon Press
Edition1
SeriesOxford logic guides
Subjects
Congresses
Constructive mathematics
Logic, Symbolic and mathematical
Type theory
Online AccessGet full text

Cover

More Information
Summary:Martin-Löf Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. Per Martin-Löf's work has been of huge significance in the fields of logic and the foundations of mathematics, and has important applications in areas such as computing science and linguistics. This volume ce.
ISBN:9780198501275
0198501277