Linear Logic, Totality and Full Completeness

Ralph Loader

Browse the full LICS paper archive.