Author:Ana Bove

Publications
PAR-10. Partiality and Recursion in Interactive Theorem Provers Ekaterina Komendantskaya, Ana Bove and Milad Niqui (editors) EPiC Series in Computing, volume 5