Lemma | type |
---|---|
Categoria grammaticale | N |
Lingua | inglese |
Sigla | Pustejovsky & Boguraev (2004) |
Titolo | LEXICAL KNOWLEDGE REPRESENTATION AND NATURAL LANGUAGE PROCESSING |
Sinonimi | |
Rinvii | |
Traduzioni | |
Citazioni | Then, if we extend the set of types to include explicit reference to type-paths, we arrive at the following definitions for types (where "e" and "t" are the standard types from Montague [39]): (i) ["e"] is a type. (ii) ["t"] is a type. (iii) If ["a"] and ["b"] are any types, then <["a"], ["b"]> is a type. |