Knowledge Tree

researcher / Alexis Ghyselen

Alexis Ghyselen

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus