1 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
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…