How to generate random lambda terms?
Combinatorics
2020-05-20 v2 Data Structures and Algorithms
Logic in Computer Science
Software Engineering
Abstract
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.
Cite
@article{arxiv.2005.08856,
title = {How to generate random lambda terms?},
author = {Maciej Bendkowski},
journal= {arXiv preprint arXiv:2005.08856},
year = {2020}
}
Comments
Fixed typo in the S-combinator