From action calculi to linear logic (1998)

by A Barber, P Gardner, M Hasegawa, G Plotkin
Venue:In Annual Conference of the European Association for Computer Science Logic (CSL’97). Springer LNCS 1414