1 citations · 1 across the 1 of their papers we have counts for
2 papers
math.CT2026★ 1 cited
Comparing semantic frameworks for dependently-sorted algebraic theories
Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North
Algebraic theories with dependency between sorts form the structural core of Martin-Löf type theory and similar systems. Their denotational semantics are typically studied using c…
cs.PL2025
From Semantics to Syntax: A Type Theory for Comprehension Categories
Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens +1
Recent models of intensional type theory have been constructed in algebraic weak factorization systems (AWFSs). AWFSs give rise to comprehension categories that feature non-trivial…