69 citations · 205 across the 22 of their papers we have counts for
1 paper · 1 filter
Tarmo Uustalu
In a paper presented at SOS 2010, we developed a framework for big-step semantics for interactive input-output in combination with divergence, based on coinductive and mixed induct…