Section: New Results
Models of cubical type theory
Bruno Barras and Rehan Malak have developed further their Dedukti library of presheaves. Using this library, they have built a semi-simplicial model of System F.
Bruno Barras and Rehan Malak have developed further their Dedukti library of presheaves. Using this library, they have built a semi-simplicial model of System F.