Extracting information from intermediate semiconstructive HA-systems – extended abstract

DOI10.1017/S0960129501003358zbMath0982.03507MaRDI QIDQ2746762

Camillo Fiorentini, Pierangelo Miglioli, Mauro Ferrari

Publication date: 10 October 2001

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

zbMATH Keywords

extracting information from proofssemiconstructive calculi

Mathematics Subject Classification ID

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

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