Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Denis Kuperberg
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2021 profile
Registered user since Thu 7 Jan 2021
Name:
Denis Kuperberg
Contributions
2021
POPL
Author of Cyclic Proofs, System T, and the Power of Contraction within the POPL-track
2019
FOSSACS
Author of Kleene algebra with hypotheses within the FOSSACS 2019-track
GaLoP
Author of Bouncing Threads for Infinitary and Circular Proofs within the GaLoP-track
Share
x
Sat 21 Dec 16:44