Proof nets, garbage, and computations

Stefano Guerrini, Simone Martini, Andrea Masini. Proof nets, garbage, and computations. Theoretical Computer Science, 253(2):185-237, 2001. [doi]

Abstract

Abstract is missing.