"Computational Interpretations of Linear Logic."

Samson Abramsky (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics