Secure development of dependently typed 1 programs using proxy-based small inversions 2

Pierre Corbineau Basile Gros J.-F. Monin Frédéric Dubois P. Gilbert Olivier Halmagrand Hermant Ronan Saillard Dedukti I. Berardi M. Coppo Kim G. Larsen

Semantic Scholar