Matches in SemOpenAlex for { <https://semopenalex.org/work/W2499694450> ?p ?o ?g. }
- W2499694450 endingPage "35" @default.
- W2499694450 startingPage "16" @default.
- W2499694450 abstract "Abstract The organizing principles of the simple theory of types are: (i) sentence-meanings are truth-values; (ii) the meaning of a name is its referent; and (iii) the meanings of other basic constituents of sentences are to be assigned in such a way that when functions are applied to arguments as the structure of the sentence dictates, the final output is a truth-value. This chapter discusses extensional type-theory covering intransitive verbs, transitive verbs, binary truth-functions, common nouns and adjectives, quantified noun phrases, the lambda operator, and type shifting and systematic ambiguity. It also discusses hyperintensional semantics." @default.
- W2499694450 created "2016-08-23" @default.
- W2499694450 creator A5024640901 @default.
- W2499694450 date "2006-06-29" @default.
- W2499694450 modified "2023-10-18" @default.
- W2499694450 title "A Brief Guide to Type Theory" @default.
- W2499694450 cites W148158043 @default.
- W2499694450 cites W1492696959 @default.
- W2499694450 cites W1498484818 @default.
- W2499694450 cites W1511847301 @default.
- W2499694450 cites W1527853274 @default.
- W2499694450 cites W1529651295 @default.
- W2499694450 cites W169430000 @default.
- W2499694450 cites W184664845 @default.
- W2499694450 cites W186043821 @default.
- W2499694450 cites W1866970978 @default.
- W2499694450 cites W1960291289 @default.
- W2499694450 cites W1964649892 @default.
- W2499694450 cites W1964787034 @default.
- W2499694450 cites W1964850386 @default.
- W2499694450 cites W1966881298 @default.
- W2499694450 cites W1966882012 @default.
- W2499694450 cites W1967843536 @default.
- W2499694450 cites W1969054174 @default.
- W2499694450 cites W1970485345 @default.
- W2499694450 cites W1972544540 @default.
- W2499694450 cites W1975587160 @default.
- W2499694450 cites W1978697628 @default.
- W2499694450 cites W1980595908 @default.
- W2499694450 cites W1982536413 @default.
- W2499694450 cites W1990673309 @default.
- W2499694450 cites W1991872519 @default.
- W2499694450 cites W1992204783 @default.
- W2499694450 cites W2001892285 @default.
- W2499694450 cites W2007490495 @default.
- W2499694450 cites W2010907017 @default.
- W2499694450 cites W2015275245 @default.
- W2499694450 cites W2019798145 @default.
- W2499694450 cites W2019821091 @default.
- W2499694450 cites W2026366672 @default.
- W2499694450 cites W2028603568 @default.
- W2499694450 cites W2030231690 @default.
- W2499694450 cites W2033280141 @default.
- W2499694450 cites W2038428605 @default.
- W2499694450 cites W2040406842 @default.
- W2499694450 cites W2041602012 @default.
- W2499694450 cites W2044002504 @default.
- W2499694450 cites W2048297078 @default.
- W2499694450 cites W2057964723 @default.
- W2499694450 cites W2060417572 @default.
- W2499694450 cites W2061470644 @default.
- W2499694450 cites W2062857508 @default.
- W2499694450 cites W2066551267 @default.
- W2499694450 cites W2070471009 @default.
- W2499694450 cites W2070545840 @default.
- W2499694450 cites W2076489786 @default.
- W2499694450 cites W2076828898 @default.
- W2499694450 cites W2094650618 @default.
- W2499694450 cites W2103376051 @default.
- W2499694450 cites W2120627793 @default.
- W2499694450 cites W2129857874 @default.
- W2499694450 cites W2142015818 @default.
- W2499694450 cites W2142114054 @default.
- W2499694450 cites W2145851222 @default.
- W2499694450 cites W2150613911 @default.
- W2499694450 cites W2160156652 @default.
- W2499694450 cites W2166710712 @default.
- W2499694450 cites W2166832568 @default.
- W2499694450 cites W2167783568 @default.
- W2499694450 cites W2198676657 @default.
- W2499694450 cites W2234277459 @default.
- W2499694450 cites W2242108793 @default.
- W2499694450 cites W2286345064 @default.
- W2499694450 cites W2322485794 @default.
- W2499694450 cites W2324842926 @default.
- W2499694450 cites W2328578138 @default.
- W2499694450 cites W2331252187 @default.
- W2499694450 cites W2333109640 @default.
- W2499694450 cites W2333440357 @default.
- W2499694450 cites W2499106483 @default.
- W2499694450 cites W2904687007 @default.
- W2499694450 cites W3023496950 @default.
- W2499694450 cites W3028351018 @default.
- W2499694450 cites W3187673854 @default.
- W2499694450 cites W4211027406 @default.
- W2499694450 cites W4211245804 @default.
- W2499694450 cites W4231772784 @default.
- W2499694450 cites W4232185054 @default.
- W2499694450 cites W4232966961 @default.
- W2499694450 cites W4233809419 @default.
- W2499694450 cites W4236785357 @default.
- W2499694450 cites W4236828747 @default.
- W2499694450 cites W4237376774 @default.
- W2499694450 cites W4237750823 @default.
- W2499694450 cites W4237896853 @default.
- W2499694450 cites W4238409248 @default.
- W2499694450 cites W4238944320 @default.
- W2499694450 cites W4240443112 @default.