APA (7th ed.) Citation

SEVERI, P., & DE VRIES, F. (2017). The infinitary lambda calculus of the infinite eta Böhm trees. Mathematical Structures in Computer Science, 27(5), 681. https://doi.org/10.1017/S096012951500033X

Chicago Style (17th ed.) Citation

SEVERI, PAULA, and FER-JAN DE VRIES. "The Infinitary Lambda Calculus of the Infinite Eta Böhm Trees." Mathematical Structures in Computer Science 27, no. 5 (2017): 681. https://doi.org/10.1017/S096012951500033X.

MLA (9th ed.) Citation

SEVERI, PAULA, and FER-JAN DE VRIES. "The Infinitary Lambda Calculus of the Infinite Eta Böhm Trees." Mathematical Structures in Computer Science, vol. 27, no. 5, 2017, p. 681, https://doi.org/10.1017/S096012951500033X.