Cargando…
Twenty Five Years of Constructive Type Theory.
Per Martin-L--ouml--;f's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguisti...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford :
Clarendon Press,
1998.
|
| Colección: | Oxford Logic Guides,36.
|
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | Per Martin-L--ouml--;f's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-L--ouml--;f over the last twenty-five years. As well as celebrating the anniversaryof the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It. |
|---|---|
| Descripción Física: | 1 online resource (292 pages) |
| ISBN: | 9780191589034 0191589039 |