Vincent Demange

According to our database¹, Vincent Demange authored at least 4 papers between 2011 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

Pedagogical lambda-cube: the λ<sup>2</sup> case.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

2013

Investigations on a Pedagogical Calculus of Constructions.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2013

2012

Vers un calcul des constructions pédagogique. (Toward a Pedagogical Calculus of Constructions).

[BibT_eX]

[DOI]

PhD thesis, 2012

2011

Automated Certification of Implicit Induction Proofs.

[BibT_eX]

[DOI]

Proceedings of the Certified Programs and Proofs - First International Conference, 2011