20 citations · 20 across the 1 of their papers we have counts for
1 paper · 1 filter
Pierre-Louis Curien, Hugo Herbelin
The notion of abstract Boehm tree has arisen as an operationally-oriented distillation of works on game semantics, and has been investigated in two papers. This paper revisits the…