Login / Signup

Coinductive techniques, from automata to coalgebra.

Damien Pous
Published in: PLMW@POPL (2015)
Keyphrases