Bart Jacobs


Ph.D. Katholieke Universiteit Nijmegen 1991 Netherlands
Dissertation: Categorical Type Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Hendrik Pieter Barendregt

Click here to see the students listed in chronological order.

Cho, KentaRadboud Universiteit Nijmegen2019
Ege, BarışRadboud Universiteit Nijmegen2016
Garcia, FlavioRadboud Universiteit Nijmegen20081
Hasuo, IchiroRadboud Universiteit Nijmegen20087
Heunen, ChrisRadboud Universiteit Nijmegen20105
Rennela, MathysRadboud Universiteit Nijmegen2019
Turi, DanieleVrije Universiteit Amsterdam1996
Warnier, MartijnRadboud Universiteit Nijmegen20063
Westerbaan, AbrahamRadboud Universiteit Nijmegen2019
Westerbaan, BastiaanRadboud Universiteit Nijmegen2019

According to our current on-line database, Bart Jacobs has 10 students and 26 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 133454 for the advisor ID.