γω-CALCULUS SEMANTICS OF FUNCTIONAL PROGRAMMING LANGUAGE FFP
江明德, 柳健夫 · 中国科学通报：英文版 · 1990
Ⅰ. INTRODUCTION It seems hopeful that γω-calculus would become the most general theoretical foundation of semantics for functional programming languages (at least for the ones without types). In this note, for the formal functional programming language FFP, the γω-