A logic identifying isomorphic propositions
Résumé
There is a mistake in the main proof (strong normalisation), and the system is actually not normalising in its current form, hence, we have withdrawn the draft until we have a fixed version.
Origine : Fichiers produits par l'(les) auteur(s)