« Lambda counting » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
|||
| Ligne 1 : | Ligne 1 : | ||
==Introduction== |
==Introduction== |
||
<math>\sqrt{3}</math> |
|||
The question of our interest is the following: among programs, what is the probability of having a fixed property. |
|||
Version du 17 octobre 2008 à 11:58
Introduction
The question of our interest is the following: among programs, what is the probability of having a fixed property.