• 归约语义 - 引用次数：2

  SKI-G calculus oriented machine implementation is a version of SKI-calculus,a formal reduction system based on graphic,and is also a technical foundation of implementing high order,transparency reference,reduction semantics and fullylazy functional programming.

  SKI-G 演算是SKI 演算的图形表示,是基于图形的形式归约系统,面向机器实现,是实现高阶、引用透明、归约语义、全惰性泛函程序设计语言的主要技术基础。

  参考来源 - 泛函程序设计语言实现中的图归约演算 in C

·2,447,543篇论文数据，部分数据来源于NoteExpress