clayrat / guarded-automata

Automata in guarded type theory

Automata and formal languages in guarded type theory

References:

• Abel, [2017] "Equational Reasoning about Formal Languages in Coalgebraic Style"