processing...
home
authors
Tarmo Uustalu
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
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.