Browsing by Author Barendregt, Henk
Showing results 1 to 1 of 1
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Barendregt, Henk; Ghilezan, Silvia | Lambda terms for natural deduction, sequent calculus and cut elimination | 1-Jan-2000 | Journal of Functional Programming; 10(1); 121-134 |