TY  - RPRT
TI  - Asymptotically almost all λ-terms are strongly normalizing
AU  - René David
AU  - Katarzyna Grygiel
AU  - Jakub Kozic
AU  - Christophe Raffalli
AU  - Guillaume Theyssier
AU  - Marek Zaionc
PY  - 2013
DO  - 10.2168/lmcs-9(1:2)2013
UR  - https://arxiv.org/abs/0903.5505
ID  - 0903.5505
ER  -