El trabajo fue presentado en el Haskell Implementors’ Workshop (HIW 2020) en ICFP 2020
Presentan una nueva operación de residualización y una versión general del método de Brzozowski para construir el autómata residual mínimo para un lenguaje dado
Construyen esquemas de intercambio de secretos no maleables y seguros contra los atacantes
Usa preórdenes para dar un nuevo enfoque a dos problemas fundamentales en la Teoría de Lenguajes Formales
