Thierry Coquand

Professor på avdelningen för Logik och typer, Institutionen för data- och informationsteknik.

Sidansvarig Publicerad: to 19 nov 2020.