Registered user since Fri 19 Apr 2024
Name:David Binder
Country:United Kingdom
Affiliation:University of Kent, UK
Personal website: https://binderdavid.github.io
GitHub: https://github.com/BinderDavid
Research interests:Programming Languages, Logic, Type Theory
Contributions
Using general profile