Kleene's Realizability (for Cor Baayen)

@inproceedings{Troelstra1994KleenesR,
  title={Kleene's Realizability (for Cor Baayen)},
  author={Anne Sjerp Troelstra and Krzysztof R. Apt and Alexander Schrijver and Nico M. Temme},
  year={1994}
}

Topics from this paper.