Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Roberto Zunino <i>nu</i>-Types for Effects and Freshness Analysis. 80-95 2009 ICTAC http://dx.doi.org/10.1007/978-3-642-03466-4_5 conf/ictac/2009 db/conf/ictac/ictac2009.html#BartolettiDFZ09