Abstract machines for dialogue games

Machines for Dialogue Games P.-L. Curien (CNRS - Paris 7) H. Herbelin (INRIA-Futurs) July 16, 2005 The notion of abstract B¨ohm tree has arisen as an operationally-oriented distillation of works on game semantics, and has been investigated in two papers [9, 11]. This paper revisits the notion, providing more syntactic support and more examples (like call-by-value evaluation) illustrating the generality of the underlying computing device. Precise correspondences between various formulations of the evaluation m of abstract B¨ohm trees are established.

• Type: Journal
• Year: 2007
• Where: CORR
• Authors: Pierre-Louis Curien, Hugo Herbelin
• Keywords: Abstract B¨ohm Trees, CORR 2007, Dialogue Games P.-L, Education, Operationally-oriented Distillation