不动点组合算子相关论文
这篇硕士论文集中了作者在攻读硕士学位期间的主要研究成果. 第一章绪论中，主要对数理逻辑、λ-演算和组合逻辑作一个概述并阐明......
从组合逻辑添加受限制的外延性规则，对λ-演算，即形式理论λβ中关于不动点组合算子的Bohm-Van der Mey定理做出了改进，同时讨论了组......
