4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 4 cited
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic
Luís Pinto, Tarmo Uustalu
Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem…
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…