Jui-Hsuan Wu - APLAS 2023

Sun 26 - Wed 29 November 2023 Taipei, Taiwan

Registered user since Thu 21 Sep 2023

Name:Jui-Hsuan Wu

Country:France

Affiliation:Institut Polytechnique de Paris

Personal website: https://www.lix.polytechnique.fr/Labo/Jui-Hsuan.WU/

Contributions

2023

APLAS

Proofs as Terms, Terms as Graphs

Show activities from other conferences

APLAS 2023-profile
View general profile