Login / Signup

Implicit complexity for coinductive data: a characterization of corecurrence

Daniel LeivantRamyaa Ramyaa
Published in: DICE (2011)
Keyphrases