Regular Expression
References
- Relational Models for the Lambek Calculus With Intersection and Constants. Stepan L. Kuznetsov. 2022.
- Foundations of Regular Coinduction. Francesco Dagnino. 2021.
- A Unified Implementation of Automata and Expression Structures, and of the Associated Algorithms Using Enriched Categories. Ludovic Mignot. 2020.
- An Introduction to Coalgebra in Four Short Lectures and Two Long Appendices. Alexander Kurz. 2020.
- Reordering Derivatives of Trace Closures of Regular Languages (Full Version). Hendrik Maarand, Tarmo Uustalu. 2019.
- Regular Language Representations in the Constructive Type Theory of Coq. Christian Doczkal, Gert Smolka. 2018.
- A Mechanized Theory of Regular Trees in Dependent Type Theory. Régis Spadotti. 2017.
- Kleene Meets Church: Regular Expressions As Types. Fritz Henglein. 2010.