DMCA

A syntax for linear logic (1993)

by Philip Wadler
Venue:Presented at Conference on Mathematical Foundations of Programming Language Semantics
Citations:89 - 7 self