PAPER / ARXIV:2609.16798

On Models of the Planar Lambda Calculus

Chad Nester

Teoria das categorias Lógica em ciência da computação · cruzada

RESUMO

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.

NO MESMO MAPA

Papers relacionados

cs.LO18 de set. de 2026

String Diagrams for Process Mining

Antony R. Lee , Peter Tiňo , Iain B. Styles

On Models of the Planar Lambda Calculus

Papers relacionados

String Diagrams for Process Mining

Universal Properties of Petri Net Unfoldings

Finite Dependence and Invariance Hierarchies for Finitely Supported Structures

Foundations of Stochastic Lexical Calculus: Semantic Descent and Random Dynamics on Probability Simplices

Copula Operad and Copula Entropy

Locally finite Schreier Varieties