@article{Krivine_1994,
    doi = {10.1016/0168-0072(94)90047-7},
    url = {https://doi.org/10.1016%2F0168-0072%2894%2990047-7},
    year = {1994},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {68},
    number = {1},
    pages = {53--78},
    author = {Jean-Louis Krivine},
    title = {Classical logic, storage operators and second-order lambda-calculus},
    journal = {Annals of Pure and Applied Logic}
}

@article{Krivine_1994, doi = {10.1016/0168-0072(94)90047-7}, url = {https://doi.org/10.1016%2F0168-0072%2894%2990047-7}, year = {1994}, month = {jun}, publisher = {Elsevier {BV}}, volume = {68}, number = {1}, pages = {53--78}, author = {Jean-Louis Krivine}, title = {Classical logic, storage operators and second-order lambda-calculus}, journal = {Annals of Pure and Applied Logic} }