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)

39 Downloads (Pure)

1 results
- Last Name(descending)

Ekaterina Komendantskaya
- e.komendantskayahw.acuk
- School of Mathematical & Computer Sciences - Professor
- School of Mathematical & Computer Sciences, Computer Science - Professor
Person: Academic (Research & Teaching)