Cite This Page

Jump to navigation Jump to search

Bibliographic details for Induction-recursion (type theory)

Citation styles for Induction-recursion (type theory)

APA style

Induction-recursion (type theory). (2014, January 21). formulasearchengine, . Retrieved 15:27, April 20, 2024 from https://en.formulasearchengine.com/index.php?title=Induction-recursion_(type_theory)&oldid=28665.

MLA style

"Induction-recursion (type theory)." formulasearchengine, . 21 Jan 2014, 23:37 UTC. 20 Apr 2024, 15:27 <https://en.formulasearchengine.com/index.php?title=Induction-recursion_(type_theory)&oldid=28665>.

MHRA style

formulasearchengine contributors, 'Induction-recursion (type theory)', formulasearchengine, , 21 January 2014, 23:37 UTC, <https://en.formulasearchengine.com/index.php?title=Induction-recursion_(type_theory)&oldid=28665> [accessed 20 April 2024]

Chicago style

formulasearchengine contributors, "Induction-recursion (type theory)," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Induction-recursion_(type_theory)&oldid=28665 (accessed April 20, 2024).

CBE/CSE style

formulasearchengine contributors. Induction-recursion (type theory) [Internet]. formulasearchengine, ; 2014 Jan 21, 23:37 UTC [cited 2024 Apr 20]. Available from: https://en.formulasearchengine.com/index.php?title=Induction-recursion_(type_theory)&oldid=28665.

Bluebook style

Induction-recursion (type theory), https://en.formulasearchengine.com/index.php?title=Induction-recursion_(type_theory)&oldid=28665 (last visited April 20, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "formulasearchengine",
   title = "Induction-recursion (type theory) --- formulasearchengine{,} ",
   year = "2014",
   url = "https://en.formulasearchengine.com/index.php?title=Induction-recursion_(type_theory)&oldid=28665",
   note = "[Online; accessed 20-April-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 = "Induction-recursion (type theory) --- formulasearchengine{,} ",
   year = "2014",
   url = "\url{https://en.formulasearchengine.com/index.php?title=Induction-recursion_(type_theory)&oldid=28665}",
   note = "[Online; accessed 20-April-2024]"
 }


Retrieved from "https://en.formulasearchengine.com/wiki/Special:CiteThisPage"