scientific article
From MaRDI portal
Publication:2871866
zbMath1278.03087MaRDI QIDQ2871866
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.
partial evaluationproof miningcomplexity of extracted programsGödel's functional interpretationmonotone Dialectica interpretationprogram extraction from classical proofsproof- and program-extraction system \texttt{MinLog}
Related Items