PreprintarXiv licencearXiv
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.
Related
- A Lambda Calculus Based on Quantum Logic
- Lambda number of the reduced power graph of finite groups
- Bourgain's Lambda(p) selection theorem: a greedy proof with polynomial failure bounds
- Asymptotics of linear normal lambda terms: WKB structure, Airy turning point and a positive recurrence
- Lambda-quantiles under the microscope
BibTeX
@misc{nester2026models,
title = {{On Models of the Planar Lambda Calculus}},
author = {Chad Nester},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.16798},
eprint = {2609.16798},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.16798},
}
RIS
TY - UNPB
TI - On Models of the Planar Lambda Calculus
AU - Chad Nester
PY - 2026
DA - 2026/09/15
PB - arXiv
DO - 10.48550/arxiv.2609.16798
UR - https://arxiv.org/abs/2609.16798
AB - 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.
ER -