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, pp. 1--62 (in pdf version), 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},
	pages        =  {1--62 (in pdf version)},
	publisher    =	{Metaphysics Research Lab, Stanford University},
	url          =  {},