APA (7th ed.) Citation

Biernacka, M., Biernacki, D., Lenglet, S., Polesiuk, P., Pous, D., & Schmitt, A. (2022). Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines.

Chicago Style (17th ed.) Citation

Biernacka, Małgorzata, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, and Alan Schmitt. Fully Abstract Encodings of $λ$-Calculus in HOcore Through Abstract Machines. 2022.

MLA (9th ed.) Citation

Biernacka, Małgorzata, et al. Fully Abstract Encodings of $λ$-Calculus in HOcore Through Abstract Machines. 2022.