This site is supported by donations to The OEIS Foundation.

User:Noam Zeilberger

From OeisWiki
Jump to: navigation, search

I'm interested in connections between lambda calculus/logic and combinatorics. Recently, I've been especially interested in connections between linear lambda calculus and the combinatorics of rooted maps and of the Tamari lattice (most of which were discovered via the OEIS of course!). This page is just an attempt at keeping track of some of these related sequences on the OEIS.

Linear lambda calculus

Rooted maps

Tamari lattice

Other sequences