Fingerprint
Dive into the research topics of 'The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
Research output: Contribution to journal › Article › peer-review
3
Citations
(Scopus)
16
Downloads
(Pure)