1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Kurt Ammon
We give an effective procedure that produces a natural number in its output from any natural number in its input, that is, it computes a total function. The elementary operations o…