Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts.

Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin

Browse the full FLOPS paper archive.