Zena Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin. Classical call-by-need sequent calculi : The unity of semantic artifacts.
FLOPS 2012 - 11th International Symposium on Functional and Logic Programming, May 2012, Kobe, Japan. pp.32-46,
⟨10.1007/978-3-642-29822-6⟩.
⟨hal-00697241⟩