Home›Browse›simply typed lambda calculus🌐EnglishEnglishEspañolFrançaisPortuguêsРусский中文EntityQ855192· pop 7· linked from 66 articlessimply typed lambda calculusSign in to saveAlso known as STLC, λ→formal system in mathematical logicAvailable in 7 languagesEspañolFrançais中文РусскийPortuguêsGreekvia Wikidata sitelinks · CC0