TY  - RPRT
TI  - Variable Elimination as Rewriting in a Linear Lambda Calculus
AU  - Thomas Ehrhard
AU  - Claudia Faggian
AU  - Michele Pagani
PY  - 2025
UR  - https://arxiv.org/abs/2501.15439
ID  - 2501.15439
ER  -