scientific article

zbMath1278.03087MaRDI QIDQ2871866

Mircea-Dan Hernest

Publication date: 10 January 2014

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610700237X?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

partial evaluationproof miningcomplexity of extracted programsGödel's functional interpretationmonotone Dialectica interpretationprogram extraction from classical proofsproof- and program-extraction system \texttt{MinLog}

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07) Functionals in proof theory (03F10)

Related Items

Light monotone Dialectica methods for proof mining ⋮ Unnamed Item