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.
- Pustejovsky & Boguraev (2004), a pag.349