Willem Heijltjes
IdRefMots clés
FR |
EN
Lambda-Calcul
Réécriture
Réplication par noeuds
Applications généralisées
Types intersection
Substitutions explicites
Lambda-calcul
Réécriture, Systèmes de (informatique)
Isomorphisme de Curry-Howard
Diagrammes de cordes
Logique linéaire
Catégories monoidales
Séquentialisation
Cohérence
Logique de seuil
Cohérence (informatique)
Langages de programmation -- Syntaxe
Sémantique