lambda-calculs
Forme de nom commun
[modifier le wikicode]| Singulier | Pluriel |
|---|---|
| lambda-calcul | lambda-calculs |
| \lɑ̃b.da kal.kyl\ | |
lambda-calculs \lɑ̃b.da kal.kyl\ masculin
- Pluriel de lambda-calcul.
C'est une conséquence de la différence fondamentale entre le lambda-calcul non typé et les lambda-calculs typés.
— (Lambda Calcul, Gabriel Scherer → lire en ligne)