Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides. by Giovanni Sambin
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.
—
Giovanni Sambin
Add cover

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Giovanni Sambin with Jan Smith

283 pages • first pub 1998 (editions)

nonfiction mathematics medium-paced
Powered by AI (Beta)
Loading...

Description

Per Martin-L�f's work on the development of constructive type theory has had a tremendous impact on the fields of logic and the foundations of mathematics. It also has broader philosophical significance and important applications in areas such as ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...