Knowledge Tree

researcher / Lorenzo Tortora de Falco

Lorenzo Tortora de Falco

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Mathematics

Edit Merge See Links

Thesis:

Reseaux, coherence et experiences obsessionnelles

Directed Thesis:

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

Nets between determinism and nondeterminism