|
Radboud Repository >
University Library >
Cream of Science >
| Title: | Lambda terms for natural deduction, sequent calculus and cut elimination |
| Author(s): | Barendregt, H.P.
Ghilezan, S. |
| Publication year: | 2000 |
| Document type: | Article / Letter to editor |
| Journal: | Journal of functional programming |
| ISSN: | 0956-7968 |
| Volume: | vol. 10 |
| Issue : | iss. 1 |
| Start page: | p. 121 |
| End page: | p. 134 |
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/17262
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
