Implementing Programming Languages. an Introduction to Compilers and Interpreters
Aarne Ranta
₹1,421
Type-Theoretical Grammar
by Aarne Ranta
₹5,332
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers.
Description supplied by the publisher.
Book details
- ISBN-13
- 9780198538578
- ISBN-10
- 019853857X
- Author
- Aarne Ranta
- Publisher
- OUP Oxford
- Condition
- New
More by Aarne Ranta and related titles
Language Development 1a
Marion Nash, Jackie Lowe
₹2,022
Success with Languages
Stella Hurd, Linda Murphy
₹3,164
Informal Digital Learning of English
Ju Seong Lee
₹2,106
Extended Axiomatic Linguistics
James Dickins
₹4,858
Morphologie Der Papillae Fungiformes
H. W. Beckers, W. Eisenacher
₹3,508
A Grammar of the Norman French of the Channel Islands
Anthony Liddicoat
₹4,754
Style and Narrative in Translations
Hiroko Cockerill
₹4,040
Unravelling Fatherhood
Trudie Knijn, Symposium Language, Rijksuniversiteit
₹4,855
Ibero-American and Caribbean Linguistics
Robert Lado, Norman a. McQuown, Sol Saporta
₹4,162
Language, Literature and Critical Practice
David Birch
₹4,183
Introducing English Linguistics
Charles F. Meyer
₹4,496