en ¦ fr > Publications

Complete Bidirectional Typing for the Calculus of Inductive Constructions

DOI Pdf Hal arXiv BibTeX

Gradualizing the Calculus of Inductive Constructions

Pdf Hal arXiv

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