Cite This Page
Bibliographic details for Homotopy type theory
- Page name: Homotopy type theory
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 27 December 2013 04:50 UTC
- Date retrieved: 7 May 2024 21:22 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Homotopy_type_theory&oldid=27285
- Page Version ID: 27285
Citation styles for Homotopy type theory
APA style
Homotopy type theory. (2013, December 27). formulasearchengine, . Retrieved 21:22, May 7, 2024 from https://en.formulasearchengine.com/index.php?title=Homotopy_type_theory&oldid=27285.
MLA style
"Homotopy type theory." formulasearchengine, . 27 Dec 2013, 04:50 UTC. 7 May 2024, 21:22 <https://en.formulasearchengine.com/index.php?title=Homotopy_type_theory&oldid=27285>.
MHRA style
formulasearchengine contributors, 'Homotopy type theory', formulasearchengine, , 27 December 2013, 04:50 UTC, <https://en.formulasearchengine.com/index.php?title=Homotopy_type_theory&oldid=27285> [accessed 7 May 2024]
Chicago style
formulasearchengine contributors, "Homotopy type theory," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Homotopy_type_theory&oldid=27285 (accessed May 7, 2024).
CBE/CSE style
formulasearchengine contributors. Homotopy type theory [Internet]. formulasearchengine, ; 2013 Dec 27, 04:50 UTC [cited 2024 May 7]. Available from: https://en.formulasearchengine.com/index.php?title=Homotopy_type_theory&oldid=27285.
Bluebook style
Homotopy type theory, https://en.formulasearchengine.com/index.php?title=Homotopy_type_theory&oldid=27285 (last visited May 7, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Homotopy type theory --- formulasearchengine{,} ", year = "2013", url = "https://en.formulasearchengine.com/index.php?title=Homotopy_type_theory&oldid=27285", note = "[Online; accessed 7-May-2024]" }
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 = "Homotopy type theory --- formulasearchengine{,} ", year = "2013", url = "\url{https://en.formulasearchengine.com/index.php?title=Homotopy_type_theory&oldid=27285}", note = "[Online; accessed 7-May-2024]" }