Partiality and recursion in interactive theorem provers – an overview | Publicación