Cubical Type Theory

nLab

Contents

References