Martini, Simone
cs.unibo.itUniversity of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
