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

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
Summary:

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

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Gramática comparada y general
Semántica
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.

Reviews

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

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
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.