Peter Aczel. The Russell-Prawitz modality. Mathematical Structures in Computer Science, 11(4):541-554, 2001.
@article{Aczel01,
title = {The Russell-Prawitz modality},
author = {Peter Aczel},
year = {2001},
researchr = {https://researchr.org/publication/Aczel01},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {11},
number = {4},
pages = {541-554},
}