Skip to main content
PRL Project

Finding Computational Content from Classical Proofs

by Robert L. Constable, Chetan Murthy
1991

In Logical Frameworks

bibTex ref: CM91


cite link