EasyChair Smart Slide
A Type Theory for Strictly Unital Infinity-Categories
A Type Theory for Strictly Unital Infinity-Categories