Type-theoretical Grammar
Type-theoretical Grammar
Type-theoretical Grammar
Trending Bestseller

Type-theoretical Grammar

No reviews yet Write a Review
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.
Hardback
05-January-1995
RRP: $203.00
$131.00
Ships in 3-5 business days
Hurry up! Current stock:
icon Share icon Share
Description  
Per Martin Löf presented constructive type theory for the first time in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This is the first book to take an in-depth look at type theory from the point of view of linguistics and the philosophy of language.
Customer reviews  

This product hasn't received any reviews yet. Be the first to review this product!

Write a Reviews
Flat Rate Shipping  
Easy Returns  
RRP: $203.00
$131.00
Ships in 3-5 business days
Hurry up! Current stock:
icon Share icon Share
Flat Rate Shipping  
Easy Returns  

Type-theoretical Grammar

RRP: $203.00
$131.00

Description

Per Martin Löf presented constructive type theory for the first time in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This is the first book to take an in-depth look at type theory from the point of view of linguistics and the philosophy of language.

Customers Also Viewed