Cite This Page
Bibliographic details for Dependent type
- Page name: Dependent type
- Author: formulasearchengine contributors
- Publisher: formulasearchengine.
- Date of last revision: 19 June 2014 20:49 UTC
- Date retrieved: 3 July 2024 00:32 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Dependent_type&oldid=240668
- Page Version ID: 240668
Citation styles for Dependent type
APA style
Dependent type. (2014, June 19). formulasearchengine. Retrieved 00:32, July 3, 2024 from https://en.formulasearchengine.com/index.php?title=Dependent_type&oldid=240668.
MLA style
"Dependent type." formulasearchengine. 19 Jun 2014, 20:49 UTC. 3 Jul 2024, 00:32 <https://en.formulasearchengine.com/index.php?title=Dependent_type&oldid=240668>.
MHRA style
formulasearchengine contributors, 'Dependent type', formulasearchengine, 19 June 2014, 20:49 UTC, <https://en.formulasearchengine.com/index.php?title=Dependent_type&oldid=240668> [accessed 3 July 2024]
Chicago style
formulasearchengine contributors, "Dependent type," formulasearchengine, https://en.formulasearchengine.com/index.php?title=Dependent_type&oldid=240668 (accessed July 3, 2024).
CBE/CSE style
formulasearchengine contributors. Dependent type [Internet]. formulasearchengine; 2014 Jun 19, 20:49 UTC [cited 2024 Jul 3]. Available from: https://en.formulasearchengine.com/index.php?title=Dependent_type&oldid=240668.
Bluebook style
Dependent type, https://en.formulasearchengine.com/index.php?title=Dependent_type&oldid=240668 (last visited July 3, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Dependent type --- formulasearchengine{,} ", year = "2014", url = "https://en.formulasearchengine.com/index.php?title=Dependent_type&oldid=240668", note = "[Online; accessed 3-July-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 = "Dependent type --- formulasearchengine{,} ", year = "2014", url = "\url{https://en.formulasearchengine.com/index.php?title=Dependent_type&oldid=240668}", note = "[Online; accessed 3-July-2024]" }