Types and models for higher-order action calculi

Philippa Gardner and Masahito Hasegawa

In Proc. 3rd International Symposium on Theoretical Aspects of Computer Software (TACS'97), Springer LNCS 1281 (1997) 583-603


Milner introduced action calculi as a framework for representing models of interactive behaviour. He also introduced the higher-order action calculi, which add higher-order features to the basic setting. We present type theories for action calculi and higher-order action calculi, and give the categorical models of the higher-order calculi. As applications, we give a semantic proof of the conservativity of higher-order action calculi over action calculi, and a precise connection with Moggi's computational lambda calculus and notions of computation.

[gzipped ps file][pdf file]

Pointers to Related Work

Back to Hassei's Research Page / Home Page