Le moteur de recherche
des thèses françaises
Yves Lafont
IdRefMots clés
FR |
EN
Sémantique
Systèmes de réécriture (informatique)
Théorie de la démonstration
La logique classique
Logique catégorique
La sémantique catégorique
L'algèbre de Frobenius
Langages de programmation -- Sémantique
Logique mathématique
Lambda-calcul
Mathematical logic
Monoïde
Présentation par générateurs et relations
Réécriture
Terminaison
Confluence
Convergence
PRO
Diagramme
Bigèbre