APA-Zitierstil (7. Ausg.)

Ehrhard, T., Faggian, C., & Pagani, M. (2025). Variable Elimination as Rewriting in a Linear Lambda Calculus.

Chicago-Zitierstil (17. Ausg.)

Ehrhard, Thomas, Claudia Faggian, und Michele Pagani. Variable Elimination as Rewriting in a Linear Lambda Calculus. 2025.

MLA-Zitierstil (9. Ausg.)

Ehrhard, Thomas, et al. Variable Elimination as Rewriting in a Linear Lambda Calculus. 2025.