TY  - RPRT
TI  - Abstracting models of strong normalization for classical calculi
AU  - Downen, Paul
AU  - Johnson-Freyd, Philip
AU  - Ariola, Zena M.
PY  - 2020
DO  - 10.1016/j.jlamp.2019.100512
UR  - https://www.osti.gov/biblio/2284030
ID  - 2284030
ER  -