From action calculi to linear logic (1997)

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