-
Generation of non-Gaussian tensor-valued random fields using an ISDE-based al...
International audience -
Counting and generating lambda terms
Lambda calculus is the basis of functional programming and higher order proof assistants. However, little is known about combinatorial properties of lambda terms, in... -
Counting and generating lambda terms
International audience -
Counting Terms in the Binary Lambda Calculus
International audience -
Boltzmann samplers for random generation of lambda terms
Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random $'l$-terms is more specifically needed for...
