Home›Browse›lambda-calcul simplement typé🌐FrançaisEnglishEspañolFrançaisPortuguêsРусский中文EntityQ855192· pop 7· linked from 66 articleslambda-calcul simplement typéSign in to saveAlso known as STLC, λ→variante du lambda-calcul avec des typesAvailable in 7 languagesEspañolFrançais中文РусскийPortuguêsGreekvia Wikidata sitelinks · CC0