🌐EnglishEnglishFrançaisItalianoNederlandsPolskiTürkçeРусский中文日本語EntityQ2552799· pop 11· linked from 60 articlesSystem FAlso known as polymorphic lambda calculus, polymorphic λ-calculus, second-order lambda calculus, second-order λ-calculus, F₂, F2typed lambda calculusAvailable in 11 languagesFrançais中文日本語РусскийItalianoCroatianGreekPolskiTürkçeUkrainianvia Wikidata sitelinks · CC0Connectionstype systemEntityMLEntityCategories1971 in computing1974 in computingLambda calculusLogicPolymorphism (computer science)Type theory