Yves Lafont
Mots clés
FR |
EN
Sémantique
Réécriture, Systèmes de (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