Peter Dybjer

Professor, head of division Logic and Types division, Department of Computer Science and Engineering.

Published: Sun 25 Aug 2013. Modified: Wed 10 Jul 2019