Bas Spitters
IdRefMots clés
FR |
EN
Théorie des types
Informatique
Coq
Coq (logiciel)
Cryptographie
Assistant de preuve
Insignifiance des preuves
Univers
Uip
Assistants de preuve
Décidabilité (logique mathématique)
Preuve de programmes
Sémantique catégorique
Langages de programmation
Vérification de programme
Langage dédié
Méthodes formelles
Droit
Homotopie
Faisceautisation