Search: J6
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: https://www.researchgate.net/publication/38338872) [bibtex] [doi]