Church's Type Theory (bibtex)
by Christoph Benzmüller, Peter Andrews
Reference:
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:
@InCollection{J43,
  author =	 {Benzm\"uller, Christoph and Andrews, Peter},
	title        =	{Church's Type Theory},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{\url{https://plato.stanford.edu/entries/type-theory-church/}},
	year         =	2019,
	edition      =	{Summer 2019},
	publisher    =	{Metaphysics Research Lab, Stanford University},
	url          =  {https://plato.stanford.edu/entries/type-theory-church/},
}
Powered by bibtexbrowser