@article{ACZEL_2001,
    doi = {10.1017/s0960129501003309},
    url = {https://doi.org/10.1017%2Fs0960129501003309},
    year = {2001},
    month = {jul},
    publisher = {Cambridge University Press ({CUP})},
    volume = {11},
    number = {04},
    author = {PETER ACZEL},
    title = {The Russell{\textendash}Prawitz modality},
    journal = {Mathematical Structures in Computer Science}
}

@article{ACZEL_2001, doi = {10.1017/s0960129501003309}, url = {https://doi.org/10.1017%2Fs0960129501003309}, year = {2001}, month = {jul}, publisher = {Cambridge University Press ({CUP})}, volume = {11}, number = {04}, author = {PETER ACZEL}, title = {The Russell{\textendash}Prawitz modality}, journal = {Mathematical Structures in Computer Science} }