Semantics for two-dimensional type theory.

Benedikt Ahrens, Paige Randall North, Niels van der Weide

Browse the full LICS paper archive.