-
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 -
Unranking of unlabelled decomposable structures
Colloque avec actes et comité de lecture.
