Search: Higher-Order Semantics And Extensionality
2004
[1]Higher-Order Semantics and Extensionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Journal of Symbolic Logic, volume 69, number 4, pp. 1027-1088, 2004. (Preprint: http://christoph-benzmueller.de/papers/J6.pdf) [bibtex] [doi]