The Computational Contents of Ramified Corecurrence.

Daniel Leivant, Ramyaa Ramyaa

Browse the full FOSSACS paper archive.