Yicheng Ni - APLAS 2024

Tue 22 - Fri 25 October 2024 Kyoto

Registered user since Mon 5 Aug 2024

Name:Yicheng Ni

Affiliation:Shanghai Jiao Tong University

Contributions

2024

APLAS

Generic Reasoning of the Locally Nameless Representation

Show activities from other conferences

APLAS 2024-profile
View general profile