research
∙
10/21/2019
Computability in partial combinatory algebras
We prove a number of elementary facts about computability in partial com...
share
research
∙
10/17/2019
Partial combinatory algebra and generalized numberings
Generalized numberings are an extension of Ershov's notion of numbering,...
research
∙
09/17/2018
