𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the description of nonsmooth actions

✍ Scribed by I. N. Pryadko; B. N. Sadovskii


Book ID
110159000
Publisher
Springer
Year
2011
Tongue
English
Weight
242 KB
Volume
47
Category
Article
ISSN
0012-2661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Descriptions of Game Actions
✍ Hans P. van Ditmarsch πŸ“‚ Article πŸ“… 2002 πŸ› Springer Netherlands 🌐 English βš– 156 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