Variable Elimination as Rewriting in a Linear Lambda Calculus.

Thomas Ehrhard, Claudia Faggian, Michele Pagani

Browse the full ESOP paper archive.