# Anders Mörtberg

According to our database

Collaborative distances:

^{1}, Anders Mörtberg authored at least 16 papers between 2012 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Proc. ACM Program. Lang., 2021

2020

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

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

J. Autom. Reason., 2019

2018

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

FLAP, 2017

2016

Log. Methods Comput. Sci., 2016

Proceedings of the Mathematical Software - ICMS 2016, 2016

2014

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

ACM Trans. Comput. Log., 2013

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012

J. Formaliz. Reason., 2012

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Proceedings of the Computational Topology in Image Context - 4th International Workshop, 2012

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012