Author/Creator: Basold, Henning - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Basold, Henning

1. The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. Issue 6 (November 2020)

Authors:: Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 6(2020)
Page Start:: 990
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Well-definedness and observational equivalence for inductive–coinductive programs. (8th July 2019)

Authors:: Basold, Henning; Hansen, Helle Hvid
Journal:: Journal of logic and computation
Issue:: Volume 29:Number 4(2019)
Page Start:: 419
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗