This special issue of MSCS invites work on homotopy type theory and related research areas. Specific topics include but are not limited to homotopical and higher-categorical semantics of type theory, synthetic homotopy theory, applications of univalence and higher inductive types, cubical type theories and cubical models, formalization of mathematics and computer science in homotopy type theory / univalent foundations, and new type theories based on higher-dimensional ideas.
Papers on work presented at the HoTT19 conference are particularly encouraged, but the special issue is open to any work on these topics.
Dan Licata Wesleyan University, USA, firstname.lastname@example.org
Peter LeFanu Lumsdaine Stockholm University, Sweden, email@example.com
Deadline 15 November 2019