Computation-by-Interaction with Effects


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


1 Figure or Table

Slides referencing similar topics