Problem
Research questions and friction points this paper is trying to address.
planar lambda calculus
semi-closed operads
planar lambda-models
Scott's representation theorem
On Models of the Planar Lambda Calculus
🤖 AI Summary
本文通过构建半闭运算和平面lambda模型之间的伴随关系，解决了平面lambda演算的建模问题，并获得了一个平面版本的Scott表示定理。
📝 Abstract
We construct an adjunction relating two approaches to modelling the planar lambda calculus: semi-closed operads and planar lambda-models. We use this to obtain a planar version of Scott's representation theorem.
Innovation
Methods, ideas, or system contributions that make the work stand out.
semi-closed operads
planar lambda-models
adjunction
Scott's representation theorem
🔎 Similar Papers
2024-07-12arXiv.orgCitations: 8
2024-08-28Citations: 2
