Reasoning About Deductions in Linear Logic (Abstract of Invited Talk).

Frank Pfenning

Browse the full CADE paper archive.