Action Calculi III : Higher-order Calculi

@inproceedings{Milner1993ActionCI,
  title={Action Calculi III : Higher-order Calculi},
  author={Robin Milner},
  year={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