Abstract machines for dialogue games

Details Abstract machines for dialogue games Abstract machines for dialogue games

2007-06-18

arxiv.org/abs/0706.2544v1

Computer Science

Logic in Computer Science

Scientific paper

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 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 mechanism of abstract Boehm trees are established.

Affiliated with

Also associated with

No associations

Rating

Abstract machines for dialogue games does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Abstract machines for dialogue games, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abstract machines for dialogue games will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-609488