Download - The Uniform Proof-theoretic Foundation of Linear Logic Programming (Extended Abstract

Transcript