François Lamarche
IdRefMots clés
FR |
EN
Sémantique
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
Monoïde
Présentation par générateurs et relations
Réécriture
Terminaison
Confluence
Convergence
PRO
Diagramme
Bigèbre
Sigma-diagramme
Réécriture, Systèmes de (informatique)
Convergence (mathématiques)