Search: J43
2019
[1]Church's Type Theory (Christoph Benzmüller, Peter Andrews), Chapter in The Stanford Encyclopedia of Philosophy (Edward N. Zalta, ed.), Metaphysics Research Lab, Stanford University, pp. 1--62 (in pdf version), 2019. [bibtex] [url]