Nour, K., & Saber, K. (2005). The call-by-value λµ∧∨-calculus. Discrete mathematics and theoretical computer science, DMTCS Proceedings vol. AF,...(Proceedings), 97-108. https://doi.org/10.46298/dmtcs.3470
Chicago Style (17th ed.) CitationNour, Karim, and Khelifa Saber. "The Call-by-value λµ∧∨-calculus." Discrete Mathematics and Theoretical Computer Science DMTCS Proceedings vol. AF,..., no. Proceedings (2005): 97-108. https://doi.org/10.46298/dmtcs.3470.
MLA (9th ed.) CitationNour, Karim, and Khelifa Saber. "The Call-by-value λµ∧∨-calculus." Discrete Mathematics and Theoretical Computer Science, vol. DMTCS Proceedings vol. AF,..., no. Proceedings, 2005, pp. 97-108, https://doi.org/10.46298/dmtcs.3470.
Warning: These citations may not always be 100% accurate.