L'Abbé Maurice. Systems of transfinite types involving λ-conversion. The journal of symbolic logic, vol. 18 (1953), pp. 209–224.
- 1 September 1958
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 23 (3), 361-362
- https://doi.org/10.2307/2964319