7 citations · 45 across the 22 of their papers we have counts for
1 paper · 2 filters
Dan R. Ghica, Nikos Tzevelekos
Game semantics is a trace-like denotational semantics for programming languages where the notion of legal observable behaviour of a term is defined combinatorially, by means of rul…