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. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in ...
Read More
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. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in which it has remained unfamiliar. The theory is then applied to quantification, anaphora, temporal reference, and the structures of text and discourse. Various phenomena of dependence and progression are discussed in the light of concepts of proof object and content, and the solutions to several well-known problems are discussed.
Read Less
Add this copy of Type-Theoretical Grammar to cart. $87.60, like new condition, Sold by GreatBookPricesUK5 rated 5.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1995 by OUP Oxford.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Sewn binding. Cloth over boards. 238 p. Contains: Unspecified. Indices, 1. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Type-Theoretical Grammar to cart. $98.75, new condition, Sold by GreatBookPricesUK5 rated 5.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1995 by OUP Oxford.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. Cloth over boards. 238 p. Contains: Unspecified. Indices, 1. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Type-Theoretical Grammar to cart. $100.01, new condition, Sold by Books2anywhere rated 5.0 out of 5 stars, ships from Fairford, GLOUCESTERSHIRE, UNITED KINGDOM, published 1995 by Oxford University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Type-Theoretical Grammar to cart. $100.08, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1995 by OUP Oxford.
Add this copy of Type-Theoretical Grammar to cart. $116.87, new condition, Sold by Kennys.ie rated 5.0 out of 5 stars, ships from Galway, IRELAND, published 1995 by OUP Oxford.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 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. Series: Indices S. Num Pages: 238 pages, line figures. BIC Classification: CFK; PBW; UY. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 18. Weight in Grams: 494. 1995. Hardback.....We ship daily from our Bookshop.
Add this copy of Type-Theoretical Grammar to cart. $118.13, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 1995 by OUP Oxford.
Add this copy of Type-Theoretical Grammar (Indices) to cart. $71.99, very good condition, Sold by Book Forest rated 5.0 out of 5 stars, ships from San Rafael, CA, UNITED STATES, published 1995 by OUP Oxford.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Hardcover. Page block firm and clean, binding unblemished, boards straight, without markings of any kind. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
Add this copy of Type-Theoretical Grammar to cart. $117.68, new condition, Sold by Paperbackshop rated 5.0 out of 5 stars, ships from Bensenville, IL, UNITED STATES, published 1995 by Oxford University Press.
