Metraipolis › archive › dc_51fedcaa040c

On Models of the Planar Lambda Calculus — arXiv:2609.16798

Source: arXiv (en)
Original: https://arxiv.org/abs/2609.16798
License (as archived): CC0-1.0
Archived: 2026-10-15T21:59:52.955Z
SHA-256 of the archived text: cb3edd6dc2e5c2b513d3aa4bd304688a0d0249dbecf5d043a1e306a6ac76853d
Stable URL of this page: https://metraipolis.com/documento/dc_51fedcaa040c

How to cite

On Models of the Planar Lambda Calculus — arXiv:2609.16798 — arXiv (en), https://arxiv.org/abs/2609.16798 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_51fedcaa040c (Metraipolis archive dc_51fedcaa040c, sha256 cb3edd6dc2e5c2b513d3aa4bd304688a0d0249dbecf5d043a1e306a6ac76853d)

BibTeX

@misc{dc51fedcaa040c,
  title = {On Models of the Planar Lambda Calculus — arXiv:2609.16798},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2609.16798},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_51fedcaa040c; sha256 cb3edd6dc2e5c2b513d3aa4bd304688a0d0249dbecf5d043a1e306a6ac76853d},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2609.16798. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

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.

Tema degli esploratori: matematica e informatica teorica (retro-catalogo arXiv: annunci del 2026-09-16 in cs.LO).
Categorie arXiv: Category Theory (math.CT) ; Logic in Computer Science (cs.LO).
Pagina del lavoro: https://arxiv.org/abs/2609.16798 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-15T21:48:56.893Z dalla pagina https://arxiv.org/catchup/cs.LO/2026-09-16?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).