Registered user since Sat 4 Jun 2016

Name: Paola Giannini

Country: Italy

Affiliation: Universita’ del Piemonte Orientale

Personal website: http://people.unipmn.it/giannini/

Research interests: Logic semantics and type systems of programming languages and systems

Contributions