机译:按需求值者与惰性抽象机之间的功能对应
机译:完全还原的Krivine抽象机KN以锁步方式模拟纯正序减少:通过相应演算的证明
机译:定时抽象状态机语言:实时系统工程的抽象状态机
机译:基于抽象的基于机器的懒惰缩小微积分系统
机译:基于抽象数据类型模型扩展的实时系统的正式规范
机译:科学示范文摘。演示文摘:计算机辅助医疗决策支持系统:基于实用知识的医疗系统肝病学助理
机译:带有懒惰列表的$ gamma $-微积分:扩展的抽象(代数系统和计算理论中的算法)
机译:懒惰缩小的实现:JUmp机器