Period
2000 - 2000
Number
1
Co-Authors
Lambda terms for natural deduction, sequent calculus and cut elimination (2000)
Barendregt, H.P., Ghilezan, S.