Type-theoretical grammar
Auteur :
Ranta, Aarne
Éditeur :
Oxford University Press
ISBN :
9780198538578
Date de publication :
5 janv. 1995
Dimensions :
24,1 x 16,2 x 1,8 cm
Poids :
494 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
BL First book to apply type theory to natural language Per 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.