Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Viktor Bense
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Wed 17 Sep 2025
Name:
Viktor Bense
Affiliation:
Eötvös Loránd University (ELTE)
Contributions
2025
TyDe
Author of The conatural numbers form an exponential commutative semiring within the TyDe 2025-track
Share
x
Tue 23 Sep 11:37