Type inference in intuitionistic linear logic.

Patrick Baillot, Martin Hofmann

Browse the full PPDP paper archive.