Type-theoretical Grammar Image close
Type-theoretical Grammar on Hardback by Aarne Ranta
Type-theoretical Grammar on Hardback by Aarne Ranta
Show Hide Adult Content
Type-theoretical Grammar close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Reference  
Literature  
Language & linguistics  
Grammar, syntax, linguistic structure

Type-theoretical Grammar

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$314.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $78.50 with Afterpay Learn more

6 weekly interest-free payments of $52.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Description

Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a comsiderable extension of the concepts and techniques of logic. The book contains an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. In virtue of the type theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved.
Release date NZ
January 5th, 1995
Author
Audience
  • Professional & Vocational
Illustrations
line figures
Pages
238
Series
Dimensions
162x241x18
ISBN-13
9780198538578
Product ID
2247754

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Aarne Ranta

See all books by this author

Implementing Programming Languages. An Introduction to Compilers and Interpreters by Aarne Ranta
$66.00
Implementing Programming Languages. An Introduction to Compilers and...
by Aarne Ranta ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Reference >
Literature >
Language & linguistics >
Grammar, syntax, linguistic structure
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics
Books >
Computers & Internet >
Theory & Design
Books >
Computers & Internet >
Computer Applications
Books >
Computers & Internet >
Computer science