Light Logics and Optimal Reduction: Completeness and Complexity.

Patrick Baillot, Paolo Coppola, Ugo Dal Lago

Browse the full LICS paper archive.