Higher-order semantics and extensionality - Kohlhase, Michael; Benzmüller, Christoph; Brown, Chad (Journal of Symbolic Logic, 2004)