Publications

• Fibrational perspectives on determinization of finite-state automata (2024), accepted to ACT 24

Talks

• stuff