Pubblicazioni

Abstract machines, optimal reduction, and streams

2019 - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Lai, A.; Pedicini, M.; Piazza, M.

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