DMCA

A Static Analysis of a Classical Linear Logic Programming Language (2000)

by Kyoung-Sun Kang