Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: How to generate random lambda terms?
(Submitted on 18 May 2020 (v1), last revised 19 May 2020 (this version, v2))
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.
Submission history
From: Maciej Bendkowski [view email][v1] Mon, 18 May 2020 16:30:07 GMT (35kb)
[v2] Tue, 19 May 2020 08:01:28 GMT (35kb)
Link back to: arXiv, form interface, contact.