Counting isomorphism classes of \beta-normal linear lambda terms
From MaRDI portal
Counting isomorphism classes of $\beta$-normal linear lambda terms
Abstract: Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating -normal linear lambda terms. In this brief note, it is shown (by appeal to a theorem of Arqu`es and Beraud) that the sequence counting isomorphism classes of -normal linear lambda terms up to free exchange of adjacent lambda abstractions coincides with the sequence counting isomorphism classes of rooted maps on oriented surfaces (A000698).
This page was built for publication: Counting isomorphism classes of $\beta$-normal linear lambda terms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6265788)
