Representation
For the ?-calculus to be Turing-complete, we need to address some representational issues
Indeed, it only really has identifiers that don’t really represent anything
Even writing + is kind of a cheat
- You had to define addition for a Turing machine, too