Daniel Hirschkoff
IdRefMots clés
FR |
EN
Lambda-calcul
Bisimulation
Concurrence
Langages de programmation
Preuve
Equivalences comportementales
Encodages
Concurrency theory
Process calculi
Bisimulations
Lambda-calculus
Catégories symétriques monoïdales closes
Théories de Lawvere
Réseaux de preuves
Lambda-graphes
Bigraphes
Sémantique
Théorie des catégories
Théorie du contrôle
PROP