Knowledge Tree

researcher / Damiano Mazza

Damiano Mazza

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Réductions et approximations linéaires

Opérateurs de typage non-idempotents, au delà du lambda-calcul

The monitoring power of forcing transformations