Books about Linear Logic And Imperative Programming.

No results