Christian Retoré: Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases. FG 2014: 15-33