Lambda counting
Aller à la navigation
Aller à la recherche
Introduction
The question of our interest is the following: among programs, what is the probability of having a fixed property.
The question of our interest is the following: among programs, what is the probability of having a fixed property.