-
About the randomness in Ring Oscillator-based True Random Number Generators i...
The talk deals with true random number generators using a set of ring oscillators as proposed by Sunar et al. in 2007. The original generator has been recently... -
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...
