Li-Fan Chen
says to
YSITD
lambda跟turing machine的計算能力等價嘛