Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. - Vincent Atassi; Patrick Baillot; Kazushige Terui (CSL, 2006)

Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic. - Vincent Atassi; Patrick Baillot; Kazushige Terui (Log. Methods Comput. Sci., 2007)