1509:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
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.
- Format: Inbunden
- ISBN: 9780198538578
- Språk: Engelska
- Antal sidor: 238
- Utgivningsdatum: 1995-01-01
- Förlag: Clarendon Press