TY  - RPRT
TI  - On completeness of reducibility candidates as a semantics of strong normalization
AU  - Denis Cousineau
PY  - 2012
DO  - 10.2168/lmcs-8(1:3)2012
UR  - https://arxiv.org/abs/1201.1705
ID  - 1201.1705
ER  -