Search




Research outputs

Lambda terms for natural deduction, sequent calculus and cut elimination   [2000]

Barendregt, Henk; Ghilezan, Silvia  

Filters

By type