@article{Streicher:13,
  year = {2013},
  volume = {23},
  journal = {Mathematical Structures in Computer Science},
  author = {Streicher, Thomas},
  title = {Krivine's Classical Realizability from a Categorical Perspective},
  pages = {1234-1256},
}