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