scientific article; zbMATH DE number 1086681

MaRDI QIDQ4362932zbMATH OpenFDO

Authors Anton Setzer

Publication date 13 November 1997

zbMATH Keywords

constructive proofsextraction of programs from classical proofstype theory for infinitely branching trees

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 2077110
• Inductive families
• A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS

Cited in

(2)

• A second order theory of infinite trees
• Decidability results for sets with atoms

This page was built for publication:

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