Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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.