用户：Noam Zeilberger

我对lambda微积分/逻辑和组合学之间的联系感兴趣。最近，我对线性lambda演算与根映射和Tamari格的组合学之间的联系特别感兴趣（当然，其中大多数是通过OEIS发现的！）。本页只是试图跟踪OEIS上的一些相关序列。

线性lambda演算

• 线性术语：A062980型,267827英镑,A000698号,A000699号
• 平面术语：A000168号,A000260型,A002005号,A000309号
• 正常条款：A000698号,A000699号,A000168号,A000260型
• 无单位术语：A267827号,A000309号,A000699号,A000260型

有根的地图

• 平面地图：A000168号,A000260型,A002005号,A000309号,A000139号,A000257号
• 组合图：A000698号,A000699号,A062980型,A267827号
• 三价映射：A062980型,A267827号,A002005号,A000309号
• 无桥地图：A267827号,A000309号,A000699号,A000260型
• 按属划分的地图：A053979号,A266240型
• Hypermaps（Hypermaps）：A000257号

Tamari晶格

• 元素：A000108号
• 间隔
  • 概述：A000260型
  • 天蓬：A000139号
  • 新增：A000257号
  • 不可分解：A294084号
• 最大链：A027686美元

其他序列

• 基本结构：A000079号,A000108号,A001147号
• 格子中的间隔：A001764号,A000260型,A007767号,A265947型
• 其他lambda演算：A114851号,A135501号,A262301型,A281270型
• 其他逻辑：A192479号
• C.S.Peirce计算：A000629号,A123346号（三角形，带对角线=A094577号)