en ¦ fr > Talks

Formalised metatheory for a verified type-theoretic kernel

Slides

Adapters – A type-theoretic foundation for type casting

Slides

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.