Church's Type Theory

Benzmüller, Christoph; Andrews, Peter
In: The Stanford Encyclopedia of Philosophy. (2019)

Author(s):	Benzmüller, Christoph ; Andrews, Peter
Title of the Journal:	The Stanford Encyclopedia of Philosophy
ISSN:	1095-5054
Corporate Body:	The Metaphysics Research Lab, Department of Philosophy, Stanford University
Publisher Information:	Stanford, USA
Year of publication:	2019
Pages:	62
Language(s):	English
URL:	https://plato.stanford.edu/entries/type-theory-...
Peer Reviewed:	Ja
International Distribution:	Ja
Open Access Journal:	Ja
Type:	Article
URI:	https://fis.uni-bamberg.de/handle/uniba/57405
Release Date:	23. December 2022