Towards a Classical Linear #-calculus (1996)

by G Bierman
Venue:Proc. of the Tokyo Conference on Linear Logic