Peter Dybjer

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

Publicerad: fr 27 dec 2019.