conf.researchr.org / Fredrik Nordvall Forsberg
Registered user since Tue 28 Jan 2020
Name:Fredrik Nordvall Forsberg
Country:United Kingdom
Affiliation:University of Strathclyde
Personal website:https://fredriknf.com
Contributions
| HOPE 2023 | Committee Member in Program Committee within the HOPE 2023-track |
| CPP 2020 | Author of Three equivalent ordinal notation systems in Cubical Agda within the CPP 2020-track |