Awodey, S.
- Kripke-Joyal forcing for type theory and uniform fibrations
2021/10/27 by Steve Awodey, Awodey, S., Nicola Gambino +3 · 1 citation
Computer Science · Mathematics · #03B38 #03G30 #18F20 #18N45 #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems