On Models of the Planar Lambda Calculus
Chad Nester
math.CTarXiv:2609.16798
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.
Create a lesson
Related papers
Gabriel--Zisman Localizations, Products, Coproducts, and Product Categories
Chencheng Zhang
An abelian envelope without the quotient property
Johannes Flake, Jonathan Gruber, Thorsten Heidersdorf
Mixing Extriangulated Model Structures
Junpeng Ren, Xianhui Fu
Grothendieck Topologies Are Extensional Presentations of the Form of Sieves
Roy Ferguson, Zurab Janelidze
A Counterexample to the Open Question on Object Ideals
Qikai Wang, Yuxiao Wang, Haiyan Zhu
Characterizing (Co)Free Dagger Categories
Jean-Simon Pacaud Lemay