Knowledge Tree

researcher / Federico Olimpieri

Federico Olimpieri

at_id:

orcid_id:

Disciplines:

Mathematics

Edit Merge See Links

Thesis:

Intersection types and ressource calculi in the denotational semantics of lambda-calculus