Author and Citation Information for "Type Theory"

The latest version of the entry may be cited via the earliest archive in which it appears:

Coquand, Thierry, "Type Theory", The Stanford Encyclopedia of Philosophy (Fall 2022 Edition), Edward N. Zalta & Uri Nodelman (eds.), URL = <https://plato.stanford.edu/archives/fall2022/entries/type-theory/>.
The citation immediately above refers to the version in the following archive edition:

Please note that you are being asked to cite a URL that is in a fixed, archived edition of the encyclopedia. The reason for this is that the Stanford Encyclopedia of Philosophy recommends that readers cite a stable document for scholarly purposes. You should not cite the dynamic portion of the encyclopedia.

Archive Schedule
Spring:March 21
Summer:June 21
Fall: September 21
Winter:December 21

Older versions of "Type Theory" are available in the following editions:

This entry was first published on Wed Feb 8, 2006. It was last modified on Sep 6, 2022.

BibTeX Citation String (Current Version in Fall 2022 Archive)

There are over 50 BibTeX styles and no standard format that is guaranteed to work for all 50. So, we suggest you use our string as a 'useful suggestion' that might need to be adapted for your particular BibTeX file. Also note that the double braces around the title is to preserve capitalization. You may wish to edit that as well.

@InCollection{sep-type-theory,
	author       =	{Coquand, Thierry},
	title        =	{{Type Theory}},
	booktitle    =	{The {Stanford} Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta and Uri Nodelman},
	howpublished =	{\url{https://plato.stanford.edu/archives/fall2022/entries/type-theory/}},
	year         =	{2022},
	edition      =	{{F}all 2022},
	publisher    =	{Metaphysics Research Lab, Stanford University}
}