Cut elimination in coalgebraic logics
✍
Dirk Pattinson; Lutz Schröder
📂
Article
📅
2010
🏛
Elsevier Science
🌐
English
⚖ 457 KB