Registered user since Thu 15 Dec 2022

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

Contributions

POPL 2023 When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
Show activities from other conferences

POPL 2023-profile
View general profile