categorical-automata

Bicategories of automata, completeness of F-automata in monoidal categories; https://arxiv.org/pdf/2303.03867.pdf and https://arxiv.org/pdf/2303.03865.pdf

Stars

15

Forks

1

Language

Agda

Last Updated

May 21, 2023

Similar Repos