Computation-by-Interaction with Effects

Abstract

A successful approach in the semantics of programming languages is to model programs by interaction dialogues. While dialogues are most often considered abstract mathematical objects, it has also been argued that they are useful for actual computation. A manual implementation of interaction dialogues can be complicated, however. To address this issue, we… (More)
DOI: 10.1007/978-3-642-25318-8_23

Topics

1 Figure or Table

Slides referencing similar topics