Skip to main content

Computational Interpretations of Linear logic

S. Abramsky

Book Title
J. Theoretical Computer Science‚ 111
Pages
3−57
Year
1993