In this section we review the semantics of functional recursive programs which were the initial subject matter of denotational semantics.

• 在本节中我们概览作为指称语义的最初主题的函数式递归程序的语义。