Thierry Coquand

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

Publicerad: to 02 jan 2020.