A lambda-calculus structure isomorphic to Gentzen-style sequent calculus structure (0)

by Hugo Herbelin
Venue:In Leszek Pacholski and Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL ’94, Kazimierz