A uniform semantic proof for cut-elimina
β
Mitsuhiro Okada
π
Article
π
2002
π
Elsevier Science
π
English
β 201 KB