From Action Calculi to Linear Logic.

Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin

Browse the full CSL paper archive.