Computational Interpretations of Linear Logic," Theoretical Computer Science(to appear (1993)

by S Abramsky