Computational Interpretations of Linear Logic (1993)

Cached

Download Links

by Samson Abramsky
Venue:Theoretical Computer Science
Citations:281 - 3 self

Document Versions

Computational Interpretations of Linear Logic –Samson Abramsky — 1993 — Theoretical Computer Science
Computational Interpretations of Linear Logic –Samson Abramsky — 1993 — Theoretical Computer Science