From Action Calculi to Linear Logic.

Andrew Barber Philippa Gardner Masahito Hasegawa Gordon D. Plotkin From Action Calculi to Linear Logic. 78-97 1997 conf/csl/1997 CSL db/conf/csl/csl97.html#BarberGHP97 http://dx.doi.org/10.1007/BFb0028008