by Mörtberg, Anders
Published in Mathematical structures in computer science (2021)

by Vezzosi, Andrea, Mörtberg, Anders, Abel, Andreas
Published in Proceedings of ACM on programming languages (01.08.2019)

by VEZZOSI, ANDREA, MÖRTBERG, ANDERS, ABEL, ANDREAS
Published in Journal of functional programming (2021)

by Cohen, Cyril, Dénès, Maxime, Mörtberg, Anders
Published in Certified Programs and Proofs (2013)

by Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max
Published in Proceedings of ACM on programming languages (01.01.2021)

by Ahrens, Benedikt, Huber, Simon, Mörtberg, Anders
Published in Mathematical structures in computer science (01.01.2021)

by Ahrens, Benedikt, Matthes, Ralph, Mörtberg, Anders
Published in Journal of automated reasoning (01.08.2019)

by Cano, Guillaume, Cohen, Cyril, Dénès, Maxime, Mörtberg, Anders, Siles, Vincent
Published in Logical methods in computer science (01.01.2016)

by Cohen, Cyril, Mörtberg, Anders
Published in Interactive Theorem Proving (2014)

by Coquand, Thierry, Mörtberg, Anders, Siles, Vincent
Published in Journal of Formalized Reasoning (01.01.2012)

by Ljungström, Axel, Mörtberg, Anders
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2023)

by Heras, Jónathan, Dénès, Maxime, Mata, Gadea, Mörtberg, Anders, Poza, María, Siles, Vincent
Published in Computational Topology in Image Context (2012)

by Ahrens, Benedikt, Huber, Simon, Mörtberg, Anders
Published in Mathematical structures in computer science (01.04.2021)

by Ljungström, Axel, Mörtberg, Anders
Year of Publication 29.01.2024

by Zeuner, Max, Mörtberg, Anders
Published in arXiv.org (12.05.2023)

by Ljungström, Axel, Mörtberg, Anders
Year of Publication 31.01.2023

by Ljungstrom, Axel, Mortberg, Anders
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)

by Doré, Maximilian, Cavallo, Evan, Mörtberg, Anders
Year of Publication 19.02.2024

by Ljungström, Axel, Mörtberg, Anders
Published in arXiv.org (30.04.2024)

by Ljungström, Axel, Mörtberg, Anders
Published in arXiv.org (25.03.2024)