Peter Dybjer

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

Published: Fri 27 Dec 2019.