Anders Mörtberg

Publications

• Synthetic Integral Cohomology in Cubical Agda. Guillaume Brunerie, Axel Ljungström, Anders Mörtberg. 2022.
• Computing Cohomology Rings in Cubical Agda. Thomas Lamiaux, Axel Ljungström, Anders Mörtberg. 2022.
• Unifying Cubical Models of Univalent Type Theory. Evan Cavallo, Anders Mörtberg, Andrew W Swan. 2020.
• Internalizing Representation Independence With Univalence. Carlo Angiuli, Evan Cavallo, Anders Mörtberg, Max Zeuner. 2020.
• On Higher Inductive Types in Cubical Type Theory. Thierry Coquand, Simon Huber, Anders Mörtberg. 2018.
• Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom. Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg. 2016.