Algebraic proofs of cut elimination

Cached

Download Links

by Jeremy Avigad
Venue:Journal of Logic Algebraic Programming
Citations:8 - 6 self