Attività di ricerca di Cenciarelli, Pietro

Programming language semantics, concurrency, domain theory, program logics, category theory.