Bart P. F. Jacobs
Original record- Institution
- Katholieke Universiteit Nijmegen
- Year
- 1991
- Country
- Netherlands
- MGP identifier
- 133454
Dissertation: Categorical Type Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Ieke MoerdijkUniversiteit van Amsterdam · 1985
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
Students 25
| Name | Institution | Year | Students |
|---|---|---|---|
| Gergely Alpár | Radboud Universiteit Nijmegen | 2015 | 0 |
| Miguel E. Andrés | Radboud Universiteit Nijmegen | 2011 | 0 |
| Cees-Bart Breunesse | Radboud Universiteit Nijmegen | 2006 | 0 |
| Kenta Cho | Radboud Universiteit Nijmegen | 2019 | 0 |
| Gerhard de Koning Gans | Radboud Universiteit Nijmegen | 2013 | 0 |
| Joeri de Ruiter | Radboud Universiteit Nijmegen | 2015 | 0 |
| Barış Ege | Radboud Universiteit Nijmegen | 2016 | 0 |
| Flavio Dario Garcia | Radboud Universiteit Nijmegen | 2008 | 2 |
| Ichiro Hasuo | Not recorded | — | 11 |
| Chris Heunen | Radboud Universiteit Nijmegen | 2010 | 9 |
| Marieke Huisman | Katholieke Universiteit Nijmegen | 2001 | 7 |
| Wouter Lueks | Radboud Universiteit Nijmegen | 2017 | 0 |
| Stjepan Picek | Radboud Universiteit Nijmegen and University of Zagreb | 2015 | 1 |
| Wolter Pieters | Radboud Universiteit Nijmegen | 2008 | 1 |
| Mathys Paul Auguste Rennela | Radboud Universiteit Nijmegen | 2019 | 0 |
| Daniele Turi | Vrije Universiteit Amsterdam | 1996 | 0 |
| Sander Uijlen | Radboud Universiteit Nijmegen | 2019 | 0 |
| Joachim van den Berg | Radboud Universiteit Nijmegen | 2009 | 0 |
| Fabian van den Broek | Radboud Universiteit Nijmegen | 2016 | 0 |
| John van de Wetering | Radboud Universiteit Nijmegen | 2021 | 0 |
| Roel Verdult | Katholieke Universiteit Leuven and Radboud Universiteit Nijmegen | 2015 | 0 |
| Pim Vullers | Radboud Universiteit Nijmegen | 2014 | 0 |
| Martijn Warnier | Radboud Universiteit Nijmegen | 2006 | 7 |
| Abraham Anton Westerbaan | Radboud Universiteit Nijmegen | 2019 | 0 |
| Bastiaan Eelco Westerbaan | Radboud Universiteit Nijmegen | 2019 | 0 |