Aarne Ranta
Type-theoretical Grammar
Gebonden Engels 1995 9780198538578Levertijd ± 11 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9780198538578
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:238
Uitgever:Clarendon Press
Hoofdrubriek:Programmeren, Computer en informatica
Serie:Indices
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan