3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.CT2021
Algebraic models of dependent type theory
Clive Newstead
The rules governing the essentially algebraic notion of a category with families have been observed (independently) by Steve Awodey and Marcelo Fiore to precisely match those of a…
math.CT2018★ 3 cited
Polynomial pseudomonads and dependent type theory
Steve Awodey, Clive Newstead
We assemble polynomials in a locally cartesian closed category into a tricategory, allowing us to define the notion of a polynomial pseudomonad and polynomial pseudoalgebra. Workin…