Linear Logic and Imperative Programming

Paperback / softback