Cite This Page

Citation styles for Type theory

APA style

Type theory. (2014, December 10). formulasearchengine, . Retrieved 13:09, December 11, 2023 from https://en.formulasearchengine.com/index.php?title=Type_theory&oldid=221678.

MLA style

"Type theory." formulasearchengine, . 10 Dec 2014, 20:20 UTC. 11 Dec 2023, 13:09 <https://en.formulasearchengine.com/index.php?title=Type_theory&oldid=221678>.

MHRA style

formulasearchengine contributors, 'Type theory', formulasearchengine, , 10 December 2014, 20:20 UTC, <https://en.formulasearchengine.com/index.php?title=Type_theory&oldid=221678> [accessed 11 December 2023]

Chicago style

formulasearchengine contributors, "Type theory," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Type_theory&oldid=221678 (accessed December 11, 2023).

CBE/CSE style

formulasearchengine contributors. Type theory [Internet]. formulasearchengine, ; 2014 Dec 10, 20:20 UTC [cited 2023 Dec 11]. Available from: https://en.formulasearchengine.com/index.php?title=Type_theory&oldid=221678.

Bluebook style

Type theory, https://en.formulasearchengine.com/index.php?title=Type_theory&oldid=221678 (last visited December 11, 2023).

BibTeX entry

 @misc{ wiki:xxx,
   author = "formulasearchengine",
   title = "Type theory --- formulasearchengine{,} ",
   year = "2014",
   url = "https://en.formulasearchengine.com/index.php?title=Type_theory&oldid=221678",
   note = "[Online; accessed 11-December-2023]"
 }

When using the LaTeX package url (\usepackage{url} somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred:

 @misc{ wiki:xxx,
   author = "formulasearchengine",
   title = "Type theory --- formulasearchengine{,} ",
   year = "2014",
   url = "\url{https://en.formulasearchengine.com/index.php?title=Type_theory&oldid=221678}",
   note = "[Online; accessed 11-December-2023]"
 }