arXiv:2204.03553 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords partial combinatory algebras, van oostens sequential computation model, kleenes first model, scotts graph model, algebraic structures Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset