APA (7th ed.) Citation

Ehrhard, T., & Regnier, L. (2008). Uniformity and the Taylor expansion of ordinary lambda-terms. Theoretical computer science, 403(2), 347-372. https://doi.org/10.1016/j.tcs.2008.06.001

Chicago Style (17th ed.) Citation

Ehrhard, Thomas, and Laurent Regnier. "Uniformity and the Taylor Expansion of Ordinary Lambda-terms." Theoretical Computer Science 403, no. 2 (2008): 347-372. https://doi.org/10.1016/j.tcs.2008.06.001.

MLA (9th ed.) Citation

Ehrhard, Thomas, and Laurent Regnier. "Uniformity and the Taylor Expansion of Ordinary Lambda-terms." Theoretical Computer Science, vol. 403, no. 2, 2008, pp. 347-372, https://doi.org/10.1016/j.tcs.2008.06.001.