We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Type-theoretical Grammar

Type-theoretical Grammar

By Aarne (Department of Philosophy Ranta

part of the Indices series

Type-theoretical Grammar by Aarne (Department of Philosophy Ranta
About Type-theoretical Grammar

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780198538578
  • Binding:
  • Hardback
  • Pages:
  • 238
  • Published:
  • January 4, 1995
  • Dimensions:
  • 162x241x18 mm.
  • Weight:
  • 494 g.
Delivery: 2-3 weeks
Expected delivery: January 19, 2025

About Aarne (Department of Philosophy Ranta

View all books by Aarne (Department of Philosophy Ranta

Description of Type-theoretical Grammar

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.

User ratings of Type-theoretical Grammar



Others also bought..
Find similar books
The book Type-theoretical Grammar can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.