search result

Cover von The ∞-Category of ∞-Categories in Simplicial Type Theory

The ∞-Category of ∞-Categories in Simplicial Type Theory

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0