Tarmo Uustalu

Identifiers

• name variant Tarmo Uustalu 0.60 · backfill

Papers (8)

1. Generating Representative Executions [Extended Abstract] cs.PL · 2017 · author #2
2. Directed Containers as Categories cs.LO · 2016 · author #2
3. Variations on Noetherianness cs.LO · 2016 · author #2
4. Coherence for Skew-Monoidal Categories cs.LO · 2014 · author #1
5. Coinductive Big-Step Semantics for Concurrency cs.PL · 2013 · author #1
6. Structured general corecursion and coinductive graphs [extended abstract] cs.LO · 2012 · author #1
7. Relating Sequent Calculi for Bi-intuitionistic Propositional Logic cs.LO · 2011 · author #2
8. A Categorical Outlook on Cellular Automata nlin.CG · 2010 · author #2

Mentions

• 1406.2064 #1 · backfill · confidence 0.70 Tarmo Uustalu
• 1312.2702 #1 · backfill · confidence 0.70 Tarmo Uustalu
• 1202.3502 #1 · backfill · confidence 0.70 Tarmo Uustalu
• 1101.5445 #2 · backfill · confidence 0.70 Tarmo Uustalu
• 1012.1220 #2 · backfill · confidence 0.70 Tarmo Uustalu

Frequent Coauthors

• Danel Ahman 1 shared papers
• Denis Firsov 1 shared papers
• Hendrik Maarand 1 shared papers
• Lu\'is Pinto 1 shared papers
• Niccol\`o Veltri 1 shared papers
• Silvio Capobianco 1 shared papers