Geodesic
Functional interpretation of bar induction by bar recursion
Compositio Mathematica, Tome 20 (1968), pp. 107-124

Voir la notice de l'article provenant de la source Numdam

MR   Zbl 

Howard, W. A. Functional interpretation of bar induction by bar recursion. Compositio Mathematica, Tome 20 (1968), pp. 107-124. http://geodesic.mathdoc.fr/item/CM_1968__20__107_0/
@article{CM_1968__20__107_0,
     author = {Howard, W. A.},
     title = {Functional interpretation of bar induction by bar recursion},
     journal = {Compositio Mathematica},
     pages = {107--124},
     year = {1968},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     mrnumber = {230619},
     zbl = {0162.31503},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1968__20__107_0/}
}
TY  - JOUR
AU  - Howard, W. A.
TI  - Functional interpretation of bar induction by bar recursion
JO  - Compositio Mathematica
PY  - 1968
SP  - 107
EP  - 124
VL  - 20
PB  - Wolters-Noordhoff Publishing
UR  - http://geodesic.mathdoc.fr/item/CM_1968__20__107_0/
LA  - en
ID  - CM_1968__20__107_0
ER  - 
%0 Journal Article
%A Howard, W. A.
%T Functional interpretation of bar induction by bar recursion
%J Compositio Mathematica
%D 1968
%P 107-124
%V 20
%I Wolters-Noordhoff Publishing
%U http://geodesic.mathdoc.fr/item/CM_1968__20__107_0/
%G en
%F CM_1968__20__107_0