RT @andrejbauer: @JDHamkins Regarding "all models of computation are equivalent" mantra, I highly recommend the introduction to "Higher-ord…
92 followers
160 followers
RT @andrejbauer: @JDHamkins Regarding "all models of computation are equivalent" mantra, I highly recommend the introduction to "Higher-ord…
26,015 followers
RT @andrejbauer: @JDHamkins Regarding "all models of computation are equivalent" mantra, I highly recommend the introduction to "Higher-ord…
6,887 followers
@JDHamkins Regarding "all models of computation are equivalent" mantra, I highly recommend the introduction to "Higher-order computability" by John Longley and Dag Normann. https://t.co/FQ3fo9Wb6B