Revisiting cut-elimination: One difficult proof is really a proof (2008)

by Christian Urban , Bozhi Zhu
Venue:RTA 2008
Citations:5 - 3 self