Attività di ricerca di Cenciarelli, Pietro
Programming language semantics, concurrency, domain theory, program logics, category theory.
Programming language semantics, concurrency, domain theory, program logics, category theory.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma