69 citations · 205 across the 22 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
nlin.CG2010★ 1 cited
A Categorical Outlook on Cellular Automata
Silvio Capobianco, Tarmo Uustalu
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona…
cs.LO2010★ 34 cited
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
Keiko Nakata, Tarmo Uustalu
We look at the operational semantics of languages with interactive I/O through the glasses of constructive type theory. Following on from our earlier work on coinductive trace-base…