Not registered as user yet

Name:Kosuke Murata
Affiliation:Kyushu Institute of Technology

Contributions

APLAS 2019 Author of Recursion Schemes in Coq within the Research Papers-track