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