Registered user since Mon 5 Nov 2018

Name: Lorenzo Gheri

Affiliation: Middlesex University London

Contributions

POPL 2019Author of Bindings as Bounded Natural Functors within the Research Papers-track