en ¦ fr > Talks

What does it take to certify a conversion checker?

Slides

AdapTT: A Type Theory with Functorial Types

Slides Vidéo

Sous Licence Creative Commons CC0, source sur github. Développé avec Pelican. Thème adapté de pelican-svbhack par Giulio Fidente.