David Binder

Registered user since Fri 19 Apr 2024

Name:David Binder
Country:Germany
Affiliation:University of Tübingen
Research interests:Programming Languages, Logic, Type Theory

Contributions

Show activities from other conferences

Using general profile