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.