## Algebraic proofs of cut elimination

### Cached

### Download Links

- [www.contrib.andrew.cmu.edu]
- [www.andrew.cmu.edu]
- DBLP

### Other Repositories/Bibliography

by
Jeremy Avigad

Venue: | Journal of Logic Algebraic Programming |

Citations: | 8 - 6 self |