Registered user since Tue 7 Oct 2025
Name:Marvin Borner
Country:Germany
Affiliation:University of Tübingen
Personal website: https://marvinborner.de
GitHub: https://github.com/marvinborner
Research interests:Lambda Calculus, Linear Logic, Effect Handlers, Interaction Nets
Contributions
Using general profile