Not registered as user yet

Name:Willem Heijltjes
Affiliation:University of Bath

Contributions

HOPE 2021 Author of The Functional Machine Calculus within the HOPE 2021-track