Higher Computing by John Walsh