融合微积分的名义方法 电子书下载

原名:A Nominal Approach of Fusion Calculus
作品简介:我们提供融合演算的一元版本的名义语义。 Fraenkel- 中提出了一组紧凑的转换规则。 Mostowski 框架使用特定的名义量词。使用几种名义技术，证明了新的名义语义之间的等价性。……