# 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} }

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.

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 56 REFERENCES