A λ-calculus structure isomorphic to sequent calculus structure,Computer science logic (1997)

by Hugo Herbelin
Venue:8th workshop, CSL ’94