APA (7th ed.) Citation

Dal Lago, U. (2022). Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann. Mathematical structures in computer science, 32(6), 760-776. https://doi.org/10.1017/S0960129521000505

Chicago Style (17th ed.) Citation

Dal Lago, U. "Implicit Computation Complexity in Higher-order Programming Languages: A Survey in Memory of Martin Hofmann." Mathematical Structures in Computer Science 32, no. 6 (2022): 760-776. https://doi.org/10.1017/S0960129521000505.

MLA (9th ed.) Citation

Dal Lago, U. "Implicit Computation Complexity in Higher-order Programming Languages: A Survey in Memory of Martin Hofmann." Mathematical Structures in Computer Science, vol. 32, no. 6, 2022, pp. 760-776, https://doi.org/10.1017/S0960129521000505.