https://isa-afp.org/authors/schmid/ AFP entries of Todd Schmid https://isa-afp.org/entries/Iteration_Algebra.html Wed, 29 Apr 2026 00:00:00 +0000 The Algebra of Iterative Constructions in the AFP Logic/General logic/Modal logic