10 citations · 22 across the 4 of their papers we have counts for
1 paper · 2 filters
Ulrich Schöpp
In game semantics and related approaches to programming language semantics, programs are modelled by interaction dialogues. Such models have recently been used in the design of new…