脱式计算,关于脱式计算的所有信息