A Connection Between Cut Elimination and
β
Mirjana BorisavljeviΔ
π
Article
π
2005
π
Springer
π
English
β 323 KB