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