Andrea Vezzosi

PhD Student, Logic and Types division, Department of Computer Science and Engineering

Published: Tue 25 Feb 2014. Modified: Mon 23 Apr 2018