For my last year of bachelor, I will do a 2 months research internship with Nicolas Tabareau. The project will be to reformulate the framework of univalent parametricity to fully size to CIC omega
For my last year of bachelor, I will do a 2 months research internship with Nicolas Tabareau. The project will be to reformulate the framework of univalent parametricity to fully size to CIC omega