Kleene 1945: assigns natural-number realizers to intuitionistic-arithmetic proofs; bridges constructive proof with computable function; precursor to Curry-Howard correspondence.
Kleene 1945: assigns natural-number realizers to intuitionistic-arithmetic proofs; bridges constructive proof with computable function; precursor to Curry-Howard correspondence.