Martini, Simone
cs.unibo.itUniversity of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.