Recomienda este artículo a tus amigos:
Type-theoretical Grammar - Indices Ranta, Aarne (Department of Philosophy, Department of Philosophy, University of Helsinki)
Type-theoretical Grammar - Indices
Ranta, Aarne (Department of Philosophy, Department of Philosophy, University of Helsinki)
BL First book to apply type theory to natural languagePer Martin Lof first presented constructive type theory in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This book is the first to take an in-depth look at the theory from the point of view of linguistics and the philosophy of language.
238 pages, line figures
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 5 de enero de 1995 |
| ISBN13 | 9780198538578 |
| Editores | Oxford University Press |
| Páginas | 238 |
| Dimensiones | 162 × 241 × 18 mm · 494 g |
| Lengua | Inglés |