Papers for

diagrammatic reasoning tool developers

Papers whose findings have a practical use for this group, as judged from the abstract. Open a paper to read what it means in practice.

New relationship between models improves planar lambda calculus theory

On Models of the Planar Lambda Calculus

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.

Tue 15 SeptLogic in Computer Science
The gist
Figuring out how to model certain math problems can be tricky, especially when they involve planar diagrams. The authors link two existing ways of modeling the planar lambda calculus, which is a mathematical system used to study computation with planar constraints. They discovered a connection that provides a clearer representation theorem, similar to one by Scott but adapted to planar cases. This helps better understand how computations can be represented in this particular setting.
Open → 2609.16798v1