How to generate random lambda terms?

05/18/2020

∙

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.

READ FULL TEXT

How to generate random lambda terms?

A System for Generating Non-Uniform Random Variates using Graphene Field-Effect Transistors

Non-Uniform Stochastic Average Gradient Method for Training Conditional Random Fields

Exact recovery for the non-uniform Hypergraph Stochastic Block Model

Cramér-type Large deviation and non-uniform central limit theorems in high dimensions

On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

Quasi-random number generators for multivariate distributions based on generative neural networks

Fast finite-difference convolution for 3D problems in layered media

How to generate random lambda terms?

Related Research

A System for Generating Non-Uniform Random Variates using Graphene Field-Effect Transistors

Non-Uniform Stochastic Average Gradient Method for Training Conditional Random Fields

Exact recovery for the non-uniform Hypergraph Stochastic Block Model

Cramér-type Large deviation and non-uniform central limit theorems in high dimensions

On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

Quasi-random number generators for multivariate distributions based on generative neural networks

Fast finite-difference convolution for 3D problems in layered media