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).
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01214121
Contributor : Noam Zeilberger <>
Submitted on : Friday, October 9, 2015 - 6:17:19 PM
Last modification on : Wednesday, July 27, 2016 - 2:48:48 PM

Links full text

Identifiers

  • HAL Id : hal-01214121, version 1
  • ARXIV : 1509.07596

Collections

Citation

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

Share

Metrics

Record views

282