Cut elimination in coalgebraic logics
Dirk Pattinson*, Lutz Schröder
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
20
Citations
(Scopus)