Church's Type Theory. Benzmüller, C. & Andrews, P. In The Stanford Encyclopedia of Philosophy, pages 1–62 (in pdf version). Metaphysics Research Lab, Stanford University, Summer 2019 edition, 2019. ![Church's Type Theory [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex 2 downloads @InCollection{J43,
author = {Benzm{\"u}ller, Christoph and Andrews, Peter},
title = {Church's Type Theory},
booktitle = {The Stanford Encyclopedia of Philosophy},
editor = {Edward N. Zalta},
year = 2019,
edition = {Summer 2019},
pages = {1--62 (in pdf version)},
publisher = {Metaphysics Research Lab, Stanford University},
url =
{https://plato.stanford.edu/entries/type-theory-church/},
}
Downloads: 2
{"_id":"zzivwLySqxF5b8BdM","bibbaseid":"benzmller-andrews-churchstypetheory-2019","author_short":["Benzmüller, C.","Andrews, P."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Andrews"],"firstnames":["Peter"],"suffixes":[]}],"title":"Church's Type Theory","booktitle":"The Stanford Encyclopedia of Philosophy","editor":[{"firstnames":["Edward","N."],"propositions":[],"lastnames":["Zalta"],"suffixes":[]}],"year":"2019","edition":"Summer 2019","pages":"1–62 (in pdf version)","publisher":"Metaphysics Research Lab, Stanford University","url":"https://plato.stanford.edu/entries/type-theory-church/","bibtex":"@InCollection{J43,\n author =\t {Benzm{\\\"u}ller, Christoph and Andrews, Peter},\n title =\t {Church's Type Theory},\n booktitle =\t {The Stanford Encyclopedia of Philosophy},\n editor =\t {Edward N. Zalta},\n year =\t 2019,\n edition =\t {Summer 2019},\n pages =\t {1--62 (in pdf version)},\n publisher =\t {Metaphysics Research Lab, Stanford University},\n url =\n {https://plato.stanford.edu/entries/type-theory-church/},\n}\n\n","author_short":["Benzmüller, C.","Andrews, P."],"editor_short":["Zalta, E. N."],"key":"J43","id":"J43","bibbaseid":"benzmller-andrews-churchstypetheory-2019","role":"author","urls":{"Paper":"https://plato.stanford.edu/entries/type-theory-church/"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"incollection","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["church","type","theory","benzmüller","andrews"],"title":"Church's Type Theory","year":2019,"downloads":2}