[PDF][PDF] Extracting programs from proofs: using Friedman's A-translation and realizability
M Rietdijk - 2018 - scholar.archive.org
Kurzfassung Das Thema dieser Dissertation basiert auf der starken Verbindung zwischen
mathematischen Beweisen und Programmen, in dem Sinne, dass Beweise einen …
mathematischen Beweisen und Programmen, in dem Sinne, dass Beweise einen …