Robin O. Gandy, Robert I. Soare. A Problem in the Theory of Constructive Order Types. Journal of Symbolic Logic, 35(1):119-121, 1970.
@article{GandyS70, title = {A Problem in the Theory of Constructive Order Types}, author = {Robin O. Gandy and Robert I. Soare}, year = {1970}, tags = {type theory}, researchr = {https://researchr.org/publication/GandyS70}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {35}, number = {1}, pages = {119-121}, }