From Action Calculi to Linear Logic. - Andrew G. Barber; Philippa Gardner; Masahito Hasegawa; Gordon D. Plotkin (CSL, 1997)

Linear type theories, semantics and action calculi. - Andrew G. Barber (1997)