APA (7th ed.) Citation

Díaz-Caro, A., & Dowek, G. (2022). A linear linear lambda-calculus.

Chicago Style (17th ed.) Citation

Díaz-Caro, Alejandro, and Gilles Dowek. A Linear Linear Lambda-calculus. 2022.

MLA (9th ed.) Citation

Díaz-Caro, Alejandro, and Gilles Dowek. A Linear Linear Lambda-calculus. 2022.

Warning: These citations may not always be 100% accurate.