How to generate random lambda terms?

TL;DR

This paper reviews various techniques for generating large random lambda-terms, including methods for exact and approximate sizes, and discusses achieving uniform and non-uniform distributions.

Contribution

It provides a comprehensive survey of existing methods for random lambda-term generation, highlighting their differences and applications.

Findings

Comparison of exact and approximate size generation methods

Analysis of uniform and non-uniform distribution techniques

Guidelines for selecting generation methods based on requirements

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.