Thierry Coquand

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

Page manager Published: Thu 19 Nov 2020.