Thierry Coquand

Professor at the Computing Science division, Department of Computer Science and Engineering

Page manager Published: Fri 17 Dec 2021.