1988
Equivalence of bar recursors in the theory of functionals of finite type
Publication
Publication
Archive for Mathematical Logic , Volume 27 - Issue 2 p. 149- 160
Additional Metadata | |
---|---|
, , , | |
Springer | |
Archive for Mathematical Logic | |
Bezem, M. A. (1988). Equivalence of bar recursors in the theory of functionals of finite type. Archive for Mathematical Logic, 27(2), 149–160. |