On Semantical Methods for the Analysis of the Complexity of Higher-Order Rewriting

Friday 19 April 2024, 10:30 am
PhD student
D. Rodrigues Do Vale MSc.
Promotor(s)
prof. dr. J.H. Geuvers
Co-promotor(s)
dr. C.L.M. Kop
Location
Aula

.