递
归
程
序
dì guī chéng xù
基本释义
最初主题的函数式递归程序的语义
英文翻译
Recursive program