Thierry Coquand

Professor at the Logic and Types division, Department of Computer Science and Engineering

Published: Thu 19 Nov 2020.