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