Extracting information from intermediate semiconstructive HA-systems -- extended abstract

DOI10.1017/S0960129501003358MaRDI QIDQ2746762zbMATH OpenFDO

Authors Mauro Ferrari, Camillo Fiorentini, Pierangelo Miglioli

Publication date 10 October 2001

Published in MSCS. Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129501003358

zbMATH Keywords

extracting information from proofssemiconstructive calculi

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof theory and constructive mathematics (03F99)

Recommendations

• scientific article; zbMATH DE number 177798
• scientific article; zbMATH DE number 749923
• Proofs and programs: A naïve approach to program extraction
• scientific article; zbMATH DE number 1973214
• scientific article; zbMATH DE number 691421

Cited in

(3)

• A proof-theoretical analysis of semiconstructive intermediate theories
• Information-Extraction Through Reduction Methods In Some Formal Systems
• scientific article; zbMATH DE number 691421 (Why is no real title available?)

This page was built for publication: Extracting information from intermediate semiconstructive HA-systems -- extended abstract

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2746762)