Axel Ljungström - POPL 2023 (original) (raw)

POPL 2023 (series) / Axel Ljungström

• conf.research.org general profile

Not registered as user

Name:Axel Ljungström

Affiliation:Stockholm University

Contributions

2023

CPP

• Computing Cohomology Rings in Cubical Agda

Show activities from other conferences

Share

POPL 2023-profile
View general profile