Le moteur de recherche
des thèses françaises
Pierre Lescanne
IdRefMots clés
FR |
EN
Lambda-calcul
Réécriture, Systèmes de (informatique)
Réécriture
Théorèmes -- Démonstration automatique
Rewriting
Théorie de la démonstration
Catégories symétriques monoïdales closes
Théories de Lawvere
Réseaux de preuves
Lambda-graphes
Bigraphes
Méthodes formelles (informatique)
Logique mathématique
Algorithmes
Protocoles de réseaux d'ordinateurs
Programmation parallèle (informatique)
Théorie des types
Lambda calcul
Langages de programmation fonctionnelle
Logiciels -- Vérification