Computational Interpretations of Linear Logic (1993)

by Samson Abramsky
Venue:Theoretical Computer Science