The Algebra of Iterative Constructions.

Kevin Batz, Benjamin Lucien Kaminski, Lucas Kehrer, Gerwin Klein, Todd Schmid, Henning Urbat

Browse the full LICS paper archive.