Description

Book Synopsis
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.

Trade Review
'The formalism introduced by the author allows better understanding of the role of semantics in grammars of natural languages and supplies mechnisms for various levels of linguistic description.' T.Balanescu, Zenrrallblatt fur Mathematik und ihre Grenzgebiete No. 855, 1997

Table of Contents
1. Preliminary remarks ; 2. Gradual introduction to type theory ; 3. Logical operators in English ; 4. Anaphoric expressions ; 5. Temporal reference ; 6. Text and discourse ; 7. Context and possible worlds ; 8. Higher-level type theory ; 9. Sugaring and parsing ; Appendix ; Sugaring in ALF ; Bibliography ; Index

TypeTheoretical Grammar 1 Indices

    Product form

    A Hardback by Aarne Ranta

    £81.70

    Includes FREE delivery

    RRP £86.00 – you save £4.30 (5%)

    Order before 4pm today for delivery by Sat 19 Sep 2026.

    15 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of TypeTheoretical Grammar 1 Indices by Aarne Ranta

      Book details

      Publisher Clarendon Press
      Published 1 May 1995
      ISBN-13 9780198538578
      978-0198538578
      ISBN-10 019853857X
      Also in:
      Computing Computer science Grammar, syntax and morphology Mathematics Applied mathematics

      Description

      Book Synopsis
      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.

      Trade Review
      'The formalism introduced by the author allows better understanding of the role of semantics in grammars of natural languages and supplies mechnisms for various levels of linguistic description.' T.Balanescu, Zenrrallblatt fur Mathematik und ihre Grenzgebiete No. 855, 1997

      Table of Contents
      1. Preliminary remarks ; 2. Gradual introduction to type theory ; 3. Logical operators in English ; 4. Anaphoric expressions ; 5. Temporal reference ; 6. Text and discourse ; 7. Context and possible worlds ; 8. Higher-level type theory ; 9. Sugaring and parsing ; Appendix ; Sugaring in ALF ; Bibliography ; Index

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account