Jesper Cockx
Original record- Institution
- Katholieke Universiteit Leuven
- Year
- 2017
- Country
- Belgium
- MGP identifier
- 326459
Dissertation: Dependent pattern matching and proof-relevant unification
Advisors 2
- Dominique DevrieseKatholieke Universiteit Leuven · 2014
- Frank PiessensKatholieke Universiteit Leuven · 1996
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Jeff Smits | Technische Universiteit Delft | 2023 | 0 |