Publication View

Lambda terms for natural deduction, sequent calculus and cut elimination (2000)

Publication details

Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Article
Language	Englisch