Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Yann Régis-Gianas
Yann Régis-Gianas
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels
Directed Thesis:
Challenges in the collaborative evolution of a proof language and its ecosystem
Incrementality and effect simulation in the simply typed lambda calculus