Counting isomorphism classes of $\beta$-normal linear lambda terms - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2015

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 $\beta$-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 $\beta$-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).

Dates and versions

hal-01214121 , version 1 (09-10-2015)

Identifiers

Cite

Noam Zeilberger. Counting isomorphism classes of $\beta$-normal linear lambda terms. 2015. ⟨hal-01214121⟩

Collections

INRIA INSMI
206 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More