Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author="Taddeo, Mariarosaria" or (type exact bookEditor and editor="Taddeo, Mariarosaria") Add to list Journal Article A1 open access A modal type theory for formalizing trusted communications Giuseppe Primiero (UGent) and Mariarosaria Taddeo (2012) JOURNAL OF APPLIED LOGIC. 10(1). p.92-114