Church's Type Theory (bibtex)
by Peter Andrews, Christoph Benzmüller
Church's Type Theory (Peter Andrews, Christoph Benzmüller), Chapter in The Stanford Encyclopedia of Philosophy (Edward N. Zalta, ed.), Metaphysics Research Lab, Stanford University, 2019. (Summer 2019 (forthcoming, accepted))
Bibtex Entry:
  author =	 {Andrews, Peter and Benzm\"uller, Christoph},
	title        =	{Church's Type Theory},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	OPThowpublished =	{\url{}},
	year         =	{2019},
	edition      =	{Summer 2019 (forthcoming)},
	note      =	{Summer 2019 (forthcoming, accepted)},
	publisher    =	{Metaphysics Research Lab, Stanford University}
Powered by bibtexbrowser