Knowledge Tree

researcher / Daniel Hirschkoff

Daniel Hirschkoff

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Unique solution techniques for processes and functions

Interacting Hopf Algebras- the Theory of Linear Systems

Higher-order languages : dualities and bisimulation enhancements

Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes

Terminaison des systèmes concurrents

Techniques modulo pour les bisimulations faibles