1 search result for "tag:"keyword: Krivine's realizability""

keyword: classical realizability keyword: Krivine's realizability keyword: primitive datatype keyword: non determinism keyword: quote keyword: axiom of countable choice keyword: real numbers category: Mathematics/Logic/Foundations