arXiv:2401.09053 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords computational properties, mainstream mathematics, kleenes higher-order computability theory, tietze extension theorem, intuitive lambda calculus formulation Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset