Some of them, but they don’t do it much. But they have quite good maths/TCS knowledge overall (one did part III maths at Cambridge, one seems to know all of Bar

Some of them, but they don’t do it much. But they have quite good maths/TCS knowledge overall (one did part III maths at Cambridge, one seems to know all of Barendegt’s lambda calc book…)