Tarmo Uustalu

Publications

• Reordering Derivatives of Trace Closures of Regular Languages (Full Version). Hendrik Maarand, Tarmo Uustalu. 2019.
• Resumptions, Weak Bisimilarity and Big-Step Semantics for While With Interactive I/O: An Exercise in Mixed Induction-Coinduction. Keiko Nakata, Tarmo Uustalu. 2010.