Realisability (Kreisel-Kleene)

Layer 0 — Mathematicsin the proof-theory subtree

Kreisel 1959 / Kleene 1945. Computational-interpretation of intuitionistic-proofs. Modified-realisability / dialectica-interpretation. Foundation of constructive-content extraction.