Andrea Vezzosi

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

Published: Mon 23 Apr 2018.