Not registered as user yet

Name: Linh Tran

Affiliation: National University of Singapore

Contributions

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