Ghyselen, Alexis, 1995-....
VIAF ID: 131163629096123462729 ( Personal )
Permalink: http://viaf.org/viaf/131163629096123462729
Preferred Forms
Works
Title | Sources |
---|---|
Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus | |
Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul. |