Mörtberg, Anders

1. Cubical Type Theory: a constructive interpretation of the univalence axiom
   2016/11/07 by Cyril Cohen, Thierry Coquand, Cohen, Cyril +5 · 16 citations
   Computer Science · Mathematics · Psychology · #Advanced Topology and Set Theory #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Philosophy and Theoretical Science
2. On Higher Inductive Types in Cubical Type Theory
   2018/02/04 by Coquand, Thierry, Huber, Simon, Mörtberg, Anders · 3 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)