One must also develop a denotational semantics for function abstraction and application.

• 还必须开发函数抽象和应用的指称语义。