Person. Wouter Swierstra Utrecht University · webspace.science.uu.nl/~swier004 · 0000-0002-0295-7944 · https://github.com/wouter-swierstra/ PhD advisorThorsten Altenkirch PhDUniversity of Nottingham Papers Algorithmics bird-2021-algorithmicsIFIP Advances in Information and Communication Technology · 2021 DOI Observational equality, now! altenkirch-2007-observationalPLPV · 2007 DOI