Kripke Joyal Semantics For Homotopy Type Theory
Date:
A talk based on the paper “Kripke-Joyal forcing for type theory and uniform fibrations” with Steve Awodey and Nicola Gambino.
Date:
A talk based on the paper “Kripke-Joyal forcing for type theory and uniform fibrations” with Steve Awodey and Nicola Gambino.