@inproceedings{MiqueyHerbelin18,
  author      = {{\'{E}}tienne Miquey and Hugo Herbelin},
  title       = {Realizability Interpretation and Normalization of Typed Call-by-Need
                 {\textbackslash}lambda -calculus with Control},
  booktitle   = {Foundations of Software Science and Computation Structures - 21st
                 International Conference, {FOSSACS} 2018, Held as Part of the European
                 Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
                 Thessaloniki, Greece, April 14-20, 2018, Proceedings},
  pages       = {276--292},
  year        = {2018},
  url         = {https://doi.org/10.1007/978-3-319-89366-2\_15},
  editor      = {Christel Baier and Ugo Dal Lago},
  series      = {Lecture Notes in Computer Science},
  volume      = {10803},
  publisher   = {Springer},
}