Module et argument d'un nombre complexe - Homeomath
Note de calcul pour Systeme modulo IG55
Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice. (Vérification de typage pour le lambda-Pi-Calcul Modulo : théorie et pratique) | Semantic Scholar