A Brief Guide to Linear Logic (1993)

by A Scedrov
Venue:Current Trends in Theoretical Computer Science