TY  - JOUR
AU  - Henk Barondregt
TI  - Combinatory logic and the ω-rule
JO  - Fundamenta Mathematicae
PY  - 1974
SP  - 199
EP  - 215
VL  - 82
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-82-3-199-215/
DO  - 10.4064/fm-82-3-199-215
LA  - en
ID  - 10_4064_fm_82_3_199_215
ER  -