Publisher
Springer Nature Switzerland
Reference47 articles.
1. Andrews, U., Belin, D., San Mauro, L.: On the structure of computable reducibility on equivalence relations of natural numbers. J. Symb. Log. 88(3), 1038–63 (2023)
2. Ash, C.J.: Isomorphic recursive structures. In: Ershov et al. (eds.), Handbook of Recursive Mathematics, vol. 1, Studies in Logic, vol. 138, pp. 167–181. Elsevier (1998)
3. Asperti, A., Ciabattoni, A.: A sufficient condition for completability of partial combinatory algebras. J. Symb. Log. 64(4), 1209–1214 (1997)
4. Barendregt, H.P.: The lambda calculus. In: Studies in Logic and the Foundations of Mathematics, vol. 103, 2nd edn. North-Holland, Amsterdam (1984)
5. Beeson, M.J.: Foundations of Constructive Mathematics. Springer-Verlag, Berlin, Heidelberg (1985). https://doi.org/10.1007/978-3-642-68952-9