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.