论文标题
部分可观测时空混沌系统的无模型预测
Node Replication: Theory And Practice
论文作者
论文摘要
我们定义和研究实施高阶节点复制的术语。它用于指定两种不同的（弱）评估策略：逐个名称和完全懒惰的呼叫，通过使用类型的理论技术工具，它们在观察上是相当于的。
We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-by-need, that are shown to be observationally equivalent by using type theoretical technical tools.
