A Computational Approach to Pocklington Certificates in Type Theory (2006)

by Benjamin Grégoire, Laurent Théry, Benjamin Werner
Venue:In FLOPS, volume 3945 of LNCS