Précédent : Théorie des Ensembles en Coq Remonter : Utilisation du système Coq Suivant : Preuves de circuit

Formalisation des arbres de Böhm rationnels

Participant : Henri Laulhère H. Laulhère a commencé une axiomatisation des arbres de Böhm rationnels. Ceci afin de conforter la description théorique du formalisme.