Anders Mörtberg
where else to find them
what they talk about
where they keep going back
- CPP2 editions2022–2023
on a stage with
- Axel Ljungströmonce
- Benedikt Ahrensonce
- Carlo Angiulionce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Computing Cohomology Rings in Cubical Agda | CPP 2023 | 2023-01-16 |
Claims a first fully mechanized, constructive definition of cohomology rings implemented in Cubical Agda, with concrete computations for spheres and the Klein… | ||
| Implementing a category-theoretic framework for typed abstract syntax | CPP 2022 | 2022-01-17 |
Mechanized extension of the UniMath/Coq framework produces simply‑typed syntax from signatures by generalizing signatures to non‑endofunctors, extending the… | ||
| Internalizing Representation Independence with Univalence | POPL 2021 | 2021-01-17 |
Proves a concrete method to internalize representation independence inside dependent type theory by combining univalence as a computable ua with higher… | ||
| nothing matches | ||