Axiomatizing higher-order Kleene realizability

DOI10.1016/0168-0072(94)90070-1zbMath0810.03047OpenAlexW2060909596MaRDI QIDQ1338200

Could not fetch data.

Publication date: 19 December 1994

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90070-1

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.