Vincent Atassi

Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic pdf

Kazushige Terui, Patrick Baillot, Vincent Atassi, 2007, Log. Methods Comput. Sci..

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

Kazushige Terui, Patrick Baillot, Vincent Atassi, 2006, CSL.