APA (7th ed.) Citation

Mizuno, M., & Sumii, E. (2018). Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. Functional and Logic Programming, 10818, 1-16. https://doi.org/10.1007/978-3-319-90686-7_1

Chicago Style (17th ed.) Citation

Mizuno, Masayuki, and Eijiro Sumii. "Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name." Functional and Logic Programming 10818 (2018): 1-16. https://doi.org/10.1007/978-3-319-90686-7_1.

MLA (9th ed.) Citation

Mizuno, Masayuki, and Eijiro Sumii. "Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name." Functional and Logic Programming, vol. 10818, 2018, pp. 1-16, https://doi.org/10.1007/978-3-319-90686-7_1.