Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination

Cached

Download Links

by Henk Barendregt , Silvia Ghilezan
Citations:13 - 3 self