Extraction de programmes dans le calcul des constructions. (Program extraction in the calculus of constructions)
Christine Paulin-Mohring, Paris Diderot University, France — 1989
Links
Abstract
Theory and Implementation of Rocq
Theory and Implementation of Rocq