Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joseph Paulus
conf.researchr.org general profile
APLAS 2023 profile
SPLASH 2023 profile
Registered user since Tue 17 Oct 2023
Name:
Joseph Paulus
Contributions
2023
APLAS
Author of Typed Non-determinism in Functional and Concurrent Calculi within the APLAS 2023-track
PPDP
Author of Termination in Concurrency, Revisited within the PPDP 2023-track
Share
x
Sun 22 Dec 02:48