1) event calculus
事件演算
1.
Applications of event calculus in reasoning about actions;
事件演算在行动推理中的应用
2) Transactional calculus
事务演算
3) Directing Events
导演事件
5) event operation
事件运算
补充资料:Ski组合子演算
ski 组合子演算是一个计算系统,它是对无类型版本的 lambda 演算的简约。这个系统声称在 lambda 演算中所有运算都可以用三个组合子s、k和i来表达。
在这个系统中的所有函数可以只使用s、k、i的字母表和圆括号(分组符号)来表达。通常假定组合子是左结合的,从而在不影响执行次序的情况下精简表达式中的圆括号。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条