Lambda 演算的名义公理化 电子书下载

原名:A Nominal Axiomatization of the Lambda Calculus
作品简介:使用名义代数的微积分，演示如何用这些公理证明公理化是有限的，接近非正式实践，并且它适合具有潜在无限多个自由变量的特定无限语法，请参阅。……