Operational Interpretations of Linear Logic (1998)
by
David N. Turner
,
Philip Wadler
| Citations: | 21 - 0 self |







