Linear logical approximations.

Robert J. Simmons, Frank Pfenning

Browse the full PEPM paper archive.