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 |