2 datasets found

Nous décrivons la vérification formelle d'algorithmes de calcul de racines carrées, cubiques, et énièmes dans un cadre fonctionnel. Nous montrons que les premiers...

This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to...