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. 

Guest Editors: 

Dan Licata Wesleyan University, USA, [email protected] 

Peter LeFanu Lumsdaine Stockholm University, Sweden, [email protected]

Deadline 15 November 2019

Instructions for contributors to MSCS