Anders Mörtberg

According to our database1, Anders Mörtberg authored at least 16 papers between 2012 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Internalizing representation independence with univalence.
Proc. ACM Program. Lang., 2021

2020
Unifying Cubical Models of Univalent Type Theory.
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Cubical synthetic homotopy theory.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019
Cubical agda: a dependently typed programming language with univalence and higher inductive types.
Proc. ACM Program. Lang., 2019

From Signatures to Monads in UniMath.
J. Autom. Reason., 2019

2018
On Higher Inductive Types in Cubical Type Theory.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom.
FLAP, 2017

2016
Formalized linear algebra over Elementary Divisor Rings in Coq.
Log. Methods Comput. Sci., 2016

Some Wellfounded Trees in UniMath - Extended Abstract.
Proceedings of the Mathematical Software - ICMS 2016, 2016

2014
A Coq Formalization of Finitely Presented Modules.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013
Computing persistent homology within Coq/SSReflect.
ACM Trans. Comput. Log., 2013

Refinements for Free!
Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012
A formal proof of Sasaki-Murao algorithm.
J. Formaliz. Reason., 2012

A Refinement-Based Approach to Computational Algebra in Coq.
Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Towards a Certified Computation of Homology Groups for Digital Images.
Proceedings of the Computational Topology in Image Context - 4th International Workshop, 2012

Coherent and Strongly Discrete Rings in Type Theory.
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012


  Loading...