@article{Streicher17,
  title = {A classical realizability model arising from a stable model of
           untyped lambda calculus.},
  pages = {1-17},
  author = {Streicher, Thomas},
  number = {4:24},
  journal = {Logical Methods in Computer Science},
  year = {2017},
  volume = {13},
}