Corpus ID: 218674318

How to generate random lambda terms?

@article{Bendkowski2020HowTG,
  title={How to generate random lambda terms?},
  author={Maciej Bendkowski},
  journal={ArXiv},
  year={2020},
  volume={abs/2005.08856}
}
  • Maciej Bendkowski
  • Published 2020
  • Mathematics, Computer Science
  • ArXiv
  • We survey several methods of generating large random lambda-terms, focusing on their closed and simply-typed variants. We discuss methods of exact- and approximate-size generation, as well as methods of achieving size-uniform and non-uniform outcome distributions. 

    Figures, Tables, and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 56 REFERENCES
    Generating Random Terms in Beta Normal Form of the Simply-Typed Lambda Calculus
    • Jue Wang
    • 2005
    1
    A Natural Counting of Lambda Terms
    20
    Counting and generating terms in the binary lambda calculus
    23
    Generating Random Lambda Calculus Terms
    • Jue Wang
    • 2005
    15
    Counting and generating lambda terms
    51
    Asymptotically almost all \lambda-terms are strongly normalizing
    33
    Binary Lambda Calculus and Combinatory Logic
    • J. Tromp
    • Mathematics, Computer Science
    • 2006
    42
    On k-colored Lambda Terms and Their Skeletons
    2
    ASYMPTOTICALLY ALMOST ALL λ-TERMS ARE STRONGLY NORMALIZING
    21