Type-theoretical grammar (Book, 1994) [WorldCat.org]
skip to content
New WorldCat.org coming soon
Type-theoretical grammar

Type-theoretical grammar

Author: Aarne Ranta
Publisher: Oxford : Clarendon Press ; New York : Oxford University Press, 1994.
Series: Indices (Oxford, Inglaterra), 1.
Edition/Format:   Print book : EnglishView all editions and formats

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  Read more...

More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


Genre/Form: Gramática comparada y general
Document Type: Book
All Authors / Contributors: Aarne Ranta
ISBN: 019853857X 9780198538578
OCLC Number: 911289971
Description: XII, 226 p. ; 24 cm
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
Series Title: Indices (Oxford, Inglaterra), 1.
Responsibility: Aarne Ranta.


Editorial reviews

Publisher Synopsis

'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.' Read more...

Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.