Andrej Bauer
IdRefMots clés
FR |
EN
Effets calculatoires
Preuves de programmes
Sémantique équationnelle
Logique décorée
Certification de programmes
Coq
Microordinateurs -- Programmation
Programmation fonctionnelle (informatique)
Programmation impérative (informatique)
Programmation logique
Langages de programmation -- Sémantique
Sémantique opérationnelle