๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Descriptions of Game Actions

โœ Scribed by Hans P. van Ditmarsch


Book ID
110338399
Publisher
Springer Netherlands
Year
2002
Tongue
English
Weight
156 KB
Volume
11
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On the description of nonsmooth actions
โœ I. N. Pryadko; B. N. Sadovskii ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Springer ๐ŸŒ English โš– 242 KB
A Type-theoretic Description of Action C
โœ Philippa Gardner ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 32 KB

Action calculi, introduced by Milner, provide a framework for investigating models of interaction. This talk will focus on the connection between action calculi and known concepts arising from type theory. The aim of this work is to isolate what is distinctive about action calculi, and to investigat