Vincent Atassi

According to our database¹, Vincent Atassi authored at least 2 papers between 2006 and 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

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

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2007

2006

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

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 20th International Workshop, 2006