Search
Feedback
About
Help
News
Refine your search: (isxn:9780191589034)
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
Loading...
Authors:
Sambin, Giovanni.
---
Smith, Jan M.
ISBN: 0191916544 1280819723 9786610819720 0191589039 9780191589034 9781280819728 6610819726 0198501227 0198501277 9780198501275 9780191916540 Year: 1998 Publisher: Oxford : New York : Clarendon Press ; Oxford University Press,
ISBN: 0191916544 1280819723 9786610819720 0191589039 9780191589034 9781280819728 6610819726 0198501227 0198501277 9780198501275 9780191916540 Year: 1998 Publisher: Oxford : New York : Clarendon Press ; Oxford University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Martin-LoÌ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.
Keywords
| Listing 1 - 1 of 1 |
Sort by
|