3 citations · 4 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Gems of Corrado Böhm
Henk P. Barendregt
The main scientific heritage of Corrado Böhm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented.…
math.LO2018
Fixed point theorems for precomplete numberings
H. P. Barendregt, S. A. Terwijn
In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem holds for any precomplete numbering. We discuss various generalizations of this result. Am…