{"id":"arxiv/2609.16798","url":"https://arxiv.org/abs/2609.16798","tags":["math.CT","cs.LO"],"score":0,"title":"On Models of the Planar Lambda Calculus","domain":"math.CT","source":"arxiv","authors":["Chad Nester"],"reviews":0,"subject":"math.CT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-15","reactions":{}}