@article{Coquand_1995,
    doi = {10.2307/2275524},
    url = {https://doi.org/10.2307%2F2275524},
    year = {1995},
    month = {mar},
    publisher = {Cambridge University Press ({CUP})},
    volume = {60},
    number = {1},
    pages = {325--337},
    author = {Thierry Coquand},
    title = {A semantics of evidence for classical arithmetic},
    journal = {Journal of Symbolic Logic}
}

@article{Coquand_1995, doi = {10.2307/2275524}, url = {https://doi.org/10.2307%2F2275524}, year = {1995}, month = {mar}, publisher = {Cambridge University Press ({CUP})}, volume = {60}, number = {1}, pages = {325--337}, author = {Thierry Coquand}, title = {A semantics of evidence for classical arithmetic}, journal = {Journal of Symbolic Logic} }