Vincent Atassi

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

Vincent Atassi, Patrick Baillot, Kazushige Terui
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic CoRR (2007)
Vincent Atassi, Patrick Baillot, Kazushige Terui
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic. Log. Methods Comput. Sci. 3 (4) (2007)
Vincent Atassi, Patrick Baillot, Kazushige Terui
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. CSL (2006)
Vincent Atassi, Patrick Baillot, Kazushige Terui
Verification of Ptime reducibility for system F terms via Dual Light Affine Logic CoRR (2006)