file.pdf (873.03 kB)
0/0

Algebraic Proofs of Cut Elimination

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

Categories

Keyword(s)

History

Publisher Statement

All Rights Reserved

Date

16/06/2000

Exports

Categories

Keyword(s)

Exports