ModalTT: A Type Theory for Modal Virtual Double Theories August 18, 2026Talk, Topos Institute, Berkeley, CAPresented for the Topos Institute’s Berkeley Seminar.
