Sign in

Checked corecursive streams: Expressivity and completeness.

Davide AnconaPietro BarbieriElena Zucca
Published in: Theor. Comput. Sci. (2023)
Keyphrases