Registered user since Thu 19 Apr 2018

Name:Francesco Dagnino
Country:Italy
Affiliation:University of Genoa
Personal website: https://fdgn.github.io
Research interests:Theoretical Computer Science, Programming Language Semantics, Type Systems

Contributions