Behavioral Types in Programming LanguagesDavide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna · First published 2016Open the Tome
