11 citations · 37 across the 18 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.FL2024
Algebraic Language Theory with Effects
Fabian Lenke, Stefan Milius, Henning Urbat +1
Regular languages -- the languages accepted by deterministic finite automata -- are known to be precisely the languages recognized by finite monoids. This characterization is the o…
cs.LO2024
Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
Thorsten Wißmann, Stefan Milius
The initial algebra for an endofunctor F provides a recursion and induction scheme for data structures whose constructors are described by F. The initial-algebra construction by Ad…