Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yicheng Ni
conf.researchr.org general profile
APLAS 2024 profile
Registered user since Mon 5 Aug 2024
Name:
Yicheng Ni
Affiliation:
Shanghai Jiao Tong University
Contributions
2024
APLAS
Author of Generic Reasoning of the Locally Nameless Representation within the Research Papers-track
Share
x
Tue 17 Sep 10:04