Tarmo Uustalu (Institute of Cybernetics

Identifiers

• name variant Tarmo Uustalu (Institute of Cybernetics 0.60 · backfill

Papers (1)

1. Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction cs.LO · 2010 · author #4

Mentions

• 1008.2112 #4 · backfill · confidence 0.70 Tarmo Uustalu (Institute of Cybernetics

Frequent Coauthors

• Estonia) 1 shared papers
• Keiko Nakata (Institute of Cybernetics 1 shared papers
• Tallinn University of Technology 1 shared papers