Not registered as user yet

Name:Linh Tran
Affiliation:National University of Singapore

Contributions

CPP 2020 Author of A Functional Proof Pearl: Inverting the Ackermann Hierarchy within the CPP 2020-track