User:Pj.de.bruin
|
Name: Peter de Bruin
Full name: Peter Johan de Bruin
Alias: Azim
Born: September 20, 1964 in Harderwijk [1] (http://www.jacobvaneyck.info/pops/harderwijk.htm), The Netherlands
Homepage in Dutch: http://home.zonnet.nl/pj.de.bruin
PhD thesis: Inductive Types in Constructive Languages [2] (http://home.zonnet.nl/pj.de.bruin/PhDThesis.pdf), in the field of Intuitionistic Type Theory and the Foundations of mathematics.