Action calculi, the computational -calculus and linear logic (1996)

by A Barber, P Gardner, M Hasegawa, G Plotkin