34 citations · 34 across the 1 of their papers we have counts for
1 paper · 1 filter
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…