From action calculi to linear logic (1997)

by A Barber, P Gardner, M Hasegawa, G Plotkin
Venue:Proceedings of Computer Science Logic ’97