| 1. | Lambda calculus may be untyped or typed.
Le lambda-calcul peut être typé ou non. |
| 2. | Lambda Muscae has a listed spectral type of A7V.
Lambda Muscae est de type spectral A7V. |
| 3. | 2005, ISBN 1-55583-823-5, Lambda Literary Award winner Amateur City.
2005, (ISBN 1-55583-823-5), vainqueur du Prix Lambda Literary Curious Wine. |
| 4. | 2004, ISBN 0-425-19598-8, Lambda Literary Award winner High Desert.
2004, (ISBN 0-425-19598-8), vainqueur du Prix Lambda Literary High Desert. |
| 5. | In the system of Greek numerals lambda has a value of 30.
Dans le système de numération grecque, lambda vaut 30. |
| 6. | The most famous early example is Alonzo Church's simply typed lambda calculus.
L'exemple le plus connu est le lambda calcul d'Alonzo Church. |
| 7. | It was also a finalist for a 2004 Lambda Literary Award.
Il a également été finaliste en 2004 pour le Prix Lambda Literary. |
| 8. | In early Greek alphabets, the shape and orientation of lambda varied.
Dans les alphabets grecs archaïques, le forme et l'orientation du lambda varient. |
| 9. | The novel won the Lambda Literary Award in the Transgender/GenderQueer category.
Le roman a remporté le prix Lambda Literary Award dans la catégorie Transgender/GenderQueer. |
| 10. | The Kleene–Rosser paradox showed that the original lambda calculus was inconsistent.
Le paradoxe de Kleene-Rosser (en) montra l’incohérence du lambda-calcul dans sa version originale. |
