LICS Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science2022匹配度 2/10 · 论文属于纯形式语义与λμ-演算、Taylor展开资源近似理论，虽与PL理论相关，但未涉及用户核心关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等方向，匹配度很低。引用 4inbox
The λμ-calculus plays a central role in the theory of programming languages as it extends the Curry-Howard correspondence to classical logic. A major drawback is that it does not satisfy Böhm’s Theorem and it lacks the corresponding notion of approximation. On the contrary, we show that Ehrhard and Regnier’s Taylor expansion can be easily adapted, thus providing a resource conscious approximation theory. This produces a sensible λμ-theory with which we prove some advanced properties of the λμ-calculus, such as Stability and Perpendicular Lines Property, from which the impossibility of parallel computations follows.
@inproceedings{Barbarossa22,
title = {Resource approximation for the λμ-calculus},
author = {Davide Barbarossa},
booktitle = {LICS},
year = {2022},
doi = {10.1145/3531130.3532469}
}