Church's Type Theory (bibtex)
by Christoph Benzmüller, Peter Andrews
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, 2019.
Bibtex Entry:
  author =	 {Benzm\"uller, Christoph and Andrews, Peter},
	title        =	{Church's Type Theory},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{\url{}},
	year         =	2019,
	edition      =	{Summer 2019},
	publisher    =	{Metaphysics Research Lab, Stanford University},
	url          =  {},
Powered by bibtexbrowser