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. [bibtex] [pdf] [doi]
Powered by bibtexbrowser