Cite This Page

Jump to navigation Jump to search

Bibliographic details for Typed lambda calculus

Citation styles for Typed lambda calculus

APA style

Typed lambda calculus. (2014, December 25). formulasearchengine, . Retrieved 13:57, April 25, 2024 from https://en.formulasearchengine.com/index.php?title=Typed_lambda_calculus&oldid=229235.

MLA style

"Typed lambda calculus." formulasearchengine, . 25 Dec 2014, 05:16 UTC. 25 Apr 2024, 13:57 <https://en.formulasearchengine.com/index.php?title=Typed_lambda_calculus&oldid=229235>.

MHRA style

formulasearchengine contributors, 'Typed lambda calculus', formulasearchengine, , 25 December 2014, 05:16 UTC, <https://en.formulasearchengine.com/index.php?title=Typed_lambda_calculus&oldid=229235> [accessed 25 April 2024]

Chicago style

formulasearchengine contributors, "Typed lambda calculus," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Typed_lambda_calculus&oldid=229235 (accessed April 25, 2024).

CBE/CSE style

formulasearchengine contributors. Typed lambda calculus [Internet]. formulasearchengine, ; 2014 Dec 25, 05:16 UTC [cited 2024 Apr 25]. Available from: https://en.formulasearchengine.com/index.php?title=Typed_lambda_calculus&oldid=229235.

Bluebook style

Typed lambda calculus, https://en.formulasearchengine.com/index.php?title=Typed_lambda_calculus&oldid=229235 (last visited April 25, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "formulasearchengine",
   title = "Typed lambda calculus --- formulasearchengine{,} ",
   year = "2014",
   url = "https://en.formulasearchengine.com/index.php?title=Typed_lambda_calculus&oldid=229235",
   note = "[Online; accessed 25-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 = "Typed lambda calculus --- formulasearchengine{,} ",
   year = "2014",
   url = "\url{https://en.formulasearchengine.com/index.php?title=Typed_lambda_calculus&oldid=229235}",
   note = "[Online; accessed 25-April-2024]"
 }


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