Registered user since Thu 15 Dec 2022

Name:Nicolas Koh
Country:United States
Affiliation:Princeton University

Contributions

POPL 2023 Author of When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic within the POPL-track