A Fibrational Approach to Automata Theory.

Liang-Ting Chen, Henning Urbat

Browse the full CALCO paper archive.