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: 23 June 2024 02:01 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:01, June 23, 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. 23 Jun 2024, 02:01 <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 23 June 2024]
Chicago style
formulasearchengine contributors, "Typed lambda calculus," formulasearchengine, https://en.formulasearchengine.com/index.php?title=Typed_lambda_calculus&oldid=229234 (accessed June 23, 2024).
CBE/CSE style
formulasearchengine contributors. Typed lambda calculus [Internet]. formulasearchengine; 2012 Jul 2, 00:15 UTC [cited 2024 Jun 23]. 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 23, 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 23-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 23-June-2024]" }