发表机构
University of Tartu（塔尔图大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文通过构造伴随关系统一了平面Lambda演算的两种建模方法，并据此证明了平面版本的斯科特表示定理。
AI 中文摘要
我们构造了一个伴随，将两种对平面Lambda演算建模的方法联系起来：半闭运算子和平面Lambda模型。我们利用这一点得到了斯科特表示定理的平面版本。
英文摘要
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.
Comments19 pages, in peer review
