Linear types and -calculus (1996)

by N Kobayashi, B Pierce, D Turner