Thierry Coquand

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

Published: Sat 24 Aug 2013. Modified: Mon 23 Apr 2018