Pubblicazioni

Full abstraction for expressiveness: history, myths and facts

2016 - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Gorla, Daniele; Nestmann, U.

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