Registered user since Wed 15 Jan 2020
Name:Dongho LEE
Country:Canada
Affiliation:Dalhousie University
GitHub: https://github.com/fredldh
Research interests:Programming languages, quantum computation, formal methods, categorical semantics
Contributions
Using general profile