Attività di ricerca di Cenciarelli, Pietro

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

 

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma

Accessibilità