69 citations · 205 across the 22 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 15 cited
A Hoare logic for the coinductive trace-based big-step semantics of While
Keiko Nakata, Tarmo Uustalu
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W…
cs.LO2014★ 3 cited
Coherence for Skew-Monoidal Categories
Tarmo Uustalu
I motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, on…