%0 Journal Article
%A Henk Barondregt
%T Combinatory logic and the ω-rule
%J Fundamenta Mathematicae
%D 1974
%P 199-215
%V 82
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-82-3-199-215/
%R 10.4064/fm-82-3-199-215
%G en
%F 10_4064_fm_82_3_199_215