Informatics Institute (IvI), University of Amsterdam (UvA)

MSc Computer Science (slide deck): joint degree UvA + Vrije Universiteit Amsterdam
(24 February 2021)

In Dutch: Slides Honoursprogramma BSc. Informatica
(26 november 2020)

In Dutch: Slides PAV-bezoek TCS
(19 November 2019)

Most recent journal paper:
Jan A. Bergstra and Alban Ponse. Datatype defining rewrite systems for naturals and integers.
Logical Methods in Computer Science 27(1), 2021. Online version (18 Feb 2021).


portrait April 13, 2013    

    Last modified: March 20, 2021