Marcello Bonsangue
Member Status: Collaborator
Institution: Leiden Institute of Advanced Computer Science (LIACS)
Centre for Mathematics and Computer Science (CWI)
Centre for Mathematics and Computer Science (CWI)
E-mail: marcello@liacs.nl