scientific article; zbMATH DE number 895269
From MaRDI portal
Publication:4883280
zbMath0848.03029MaRDI QIDQ4883280
Publication date: 1 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
functional programcomputational content of a proofextracting programs from proofs in classical arithmeticnegative realizability
First-order arithmetic and fragments (03F30) General topics in the theory of software (68N01) Functionals in proof theory (03F10) Intuitionistic mathematics (03F55)
Related Items (1)
This page was built for publication: