conf.researchr.org / Stefano Volpe
Registered user since Mon 22 Jun 2026
Name:Stefano Volpe
Country:Denmark
Affiliation:University of Southern Denmark
Personal website: https://foxy.codeberg.page
Research interests:type theory, programming languages (theory and semantics), category theory, logic, formalized mathematics, pure functional programming, constructive mathematics, games, mathematical practice vs. software architecture
Contributions