18 citations · 52 across the 11 of their papers we have counts for
1 paper · 1 filter
Yannick Forster
In synthetic computability, pioneered by Richman, Bridges, and Bauer, one develops computability theory without an explicit model of computation. This is enabled by assuming an axi…