Refined program extraction from classical proofs: Some case studies
From MaRDI portal
Publication:2752052
zbMATH Open0995.68015MaRDI QIDQ2752052
Publication date: 21 October 2001
Related Items (4)
Extraction of a program from deduction and its regularity. I ⋮ Program extraction from classical proofs ⋮ Studies of a theory of specifications with built-in program extraction ⋮ Practical program extraction from classical proofs
This page was built for publication: Refined program extraction from classical proofs: Some case studies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2752052)
