Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anton Chernev
conf.researchr.org general profile
PLNL 2025 profile
Not registered as user
Name:
Anton Chernev
Contributions
2025
PLNL
Author of Modelling Coinductive Types with Restricted Branching within the PLNL 2025-track
Share
x
Thu 25 Jun 13:27