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