file.pdf (873.03 kB)

Algebraic Proofs of Cut Elimination

Download (873.03 kB)
journal contribution
posted on 16.06.2000, 00:00 by Jeremy Avigad
Jeremey Avigad. Algebraic Proofs of Cut Elimination.

Categories

Keywords

History

Publisher Statement

All Rights Reserved

Date

16/06/2000

Exports

Categories

Keywords

Exports