A computational approach to pocklington certificates in type theory (2006)

Cached

Download Links

by Benjamin Grégoire , Laurent Théry , Benjamin Werner
Venue:In Proc. of the 8th Int. Symp. on Functional and Logic Programming, volume 3945 of LNCS
Citations:14 - 4 self

Document Versions

A computational approach to pocklington certificates in type theory –Benjamin Grégoire, Laurent Théry, Benjamin Werner — 2006 — In Proc. of the 8th Int. Symp. on Functional and Logic Programming, volume 3945 of LNCS