Speaker

Thierry Coquand

Abstract.

More Information:

• Profile

 Overview