Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic.

Vincent Atassi, Patrick Baillot, Kazushige Terui

Browse the full CSL paper archive.