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

2024

APLAS

Committee Member in Program Committee within the Research Papers-track

2023

APLAS

Author of A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists within the APLAS 2023-track

HOPE

Committee Member in Program Committee within the HOPE 2023-track

2020

CPP

Author of Three equivalent ordinal notation systems in Cubical Agda within the CPP 2020-track