论文标题
如何生成随机的lambda术语？
How to generate random lambda terms?
论文作者
论文摘要
我们调查了几种生成大型随机lambda-term的方法，重点是它们的封闭和简单的变体。我们讨论了确切和近似大小生成的方法，以及实现大小均匀和不均匀结果分布的方法。
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.
