A Computational Approach to Pocklington Certificates in Type Theory.

Benjamin Grgoire, Laurent Thry, Benjamin Werner

Browse the full FLOPS paper archive.