University of California, Santa Cruz;
University of California, Santa Cruz;
Brigham Young University;
higher-order programming; temporal contracts;
机译:临时高阶合同
机译:基于高阶逻辑定理证明的智能合同验证的一般正式记忆框架
机译:具有背景风险和较高阶风险态度的最优保险合同
机译:时间高阶合同
机译:使用高阶导数来估计具有过度拱形时间趋势的阻尼线性振荡器模型。
机译:时间性高阶契约