@inproceedings{Milner1993ActionCI, title={Action Calculi III : Higher-order Calculi}, author={Robin Milner}, year={1993} }

- Published 1993

This paper extends an arbitrary action calculus [11] to higher order, in a way which parallels the extension of the -calculus [13] to higher order by Sangiorgi [18]. Action calculi are a subclass of action structures [10], which in turn are an enriched class of monoidal categories. Each action calculus AC(K) is distinguished by its set K of controls and… CONTINUE READING

### Presentations referencing similar topics