@article{ITA_2022__56_1_A9_0,
     author = {Lescanne, Pierre},
     title = {Almost {All} {Classical} {Theorems} {Are} {Intuitionistic}},
     journal = {RAIRO. Theoretical Informatics and Applications},
     year = {2022},
     publisher = {EDP-Sciences},
     volume = {56},
     doi = {10.1051/ita/2022009},
     mrnumber = {4523320},
     zbl = {07644261},
     language = {en},
     url = {https://www.numdam.org/articles/10.1051/ita/2022009/}
}