Cite This Page
Bibliographic details for Simply typed lambda calculus
- Page name: Simply typed lambda calculus
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 23 November 2014 16:10 UTC
- Date retrieved: 29 March 2024 08:25 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Simply_typed_lambda_calculus&oldid=240831
- Page Version ID: 240831
Citation styles for Simply typed lambda calculus
APA style
Simply typed lambda calculus. (2014, November 23). formulasearchengine, . Retrieved 08:25, March 29, 2024 from https://en.formulasearchengine.com/index.php?title=Simply_typed_lambda_calculus&oldid=240831.
MLA style
"Simply typed lambda calculus." formulasearchengine, . 23 Nov 2014, 16:10 UTC. 29 Mar 2024, 08:25 <https://en.formulasearchengine.com/index.php?title=Simply_typed_lambda_calculus&oldid=240831>.
MHRA style
formulasearchengine contributors, 'Simply typed lambda calculus', formulasearchengine, , 23 November 2014, 16:10 UTC, <https://en.formulasearchengine.com/index.php?title=Simply_typed_lambda_calculus&oldid=240831> [accessed 29 March 2024]
Chicago style
formulasearchengine contributors, "Simply typed lambda calculus," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Simply_typed_lambda_calculus&oldid=240831 (accessed March 29, 2024).
CBE/CSE style
formulasearchengine contributors. Simply typed lambda calculus [Internet]. formulasearchengine, ; 2014 Nov 23, 16:10 UTC [cited 2024 Mar 29]. Available from: https://en.formulasearchengine.com/index.php?title=Simply_typed_lambda_calculus&oldid=240831.
Bluebook style
Simply typed lambda calculus, https://en.formulasearchengine.com/index.php?title=Simply_typed_lambda_calculus&oldid=240831 (last visited March 29, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Simply typed lambda calculus --- formulasearchengine{,} ", year = "2014", url = "https://en.formulasearchengine.com/index.php?title=Simply_typed_lambda_calculus&oldid=240831", note = "[Online; accessed 29-March-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 = "Simply typed lambda calculus --- formulasearchengine{,} ", year = "2014", url = "\url{https://en.formulasearchengine.com/index.php?title=Simply_typed_lambda_calculus&oldid=240831}", note = "[Online; accessed 29-March-2024]" }