Publié le : 1974-01-01
EUDML-ID :
urn:eudml:doc:214663
@article{bwmeta1.element.bwnjournal-article-fmv82i1p14bwm,
author = {Henk Barondregt},
title = {Combinatory logic and the $\omega$-rule},
journal = {Fundamenta Mathematicae},
volume = {85},
year = {1974},
pages = {199-215},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv82i1p14bwm}
}
Barondregt, Henk. Combinatory logic and the ω-rule. Fundamenta Mathematicae, Tome 85 (1974) pp. 199-215. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv82i1p14bwm/