Pubblicazioni

Abstract machines, optimal reduction, and streams

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

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

2018 - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Bottoni, Paolo Gaspare; Gorla, Daniele; Kasangian, Stefano; Labella, Anna

Multi-level dynamo and opinion spreading

2017 - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Brunetti, S.; Cordasco, G.; Lodi, E.; Gargano, L.; Quattrociocchi, W.

Full abstraction for expressiveness: history, myths and facts

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

Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

2015 - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Guerrini, Stefano; Barendrengt, Henk; Piperno, Adolfo

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