A lambda-calculus structure isomorphic to sequent calculus structure (1994)

by H Herbelin
Venue:In Proc. of Computer Science Logic (CSL), Lecture Notes in Computer Science 933