Recomienda este artículo a tus amigos:
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Martin Hofmann Softcover reprint of the original 1st ed. 1997 edition
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations
Martin Hofmann
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).
216 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 22 de septiembre de 2011 |
| ISBN13 | 9781447112433 |
| Editores | Springer London Ltd |
| Páginas | 216 |
| Dimensiones | 155 × 235 × 12 mm · 331 g |
| Lengua | Inglés |
Mas por Martin Hofmann
Mostrar todoVer todo de Martin Hofmann ( Ej. Paperback Book , CD , Hardcover Book y Book )
Los regalos de Navidad se podrán canjear hasta el 31 de enero