Newstead, Clive

1. Algebraic models of dependent type theory
   2021/03/10 by Clive Newstead, Newstead, Clive · 2 citations
   Computer Science · #18C50 #Category Theory (math.CT) #F.4.1 #FOS: Mathematics #Logic, programming, and type systems
2. Polynomial pseudomonads and dependent type theory
   2018/02/03 by Steve Awodey, Awodey, Steve, Clive Newstead +1 · 2 citations
   Computer Science · Mathematics · #03G30 #18C15 (Primary) #18D05 #18D15 #18D25 (Secondary) #Advanced Topics in Algebra #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems