Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vincent Atassi, Patrick Baillot, Kazushige Terui. Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. In Zoltán Ésik, editor, Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings. Volume 4207 of Lecture Notes in Computer Science, pages 150-166, Springer, 2006. [doi]

This author has not been identified. Look up 'Vincent Atassi' in GoogleThis author has not been identified. Look up 'Patrick Baillot' in GoogleThis author has not been identified. Look up 'Kazushige Terui' in Google

runs on WebDSL