2 citations · 3 across the 2 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…
math.LO2026★ 2 cited
Constructive reflectivity principles for regular theories
Henrik Forssell, Peter LeFanu Lumsdaine
Classically, any structure for a signature may be completed to a model of a desired regular theory by means of the chase construction or small object argument. Moreover, t…