EntityQ2552799· pop 11· linked from 60 articlesSystem FSign in to savetyped lambda calculusConnectionstype systemEntityMLEntityChurch encodingEntitylogicEntityInternational Standard Book NumberEntityprogramming languageEntitydigital object identifierEntityUniversity of EdinburghEntityQ34010EntityInstitute of Electrical and Electronics EngineersEntityfunctional programmingEntityOCamlEntitycomputer scientistEntityFerry CorstenEntityuniversal quantificationEntitydecision problemEntityexistential quantificationEntityrecordEntityprogramming language theoryEntityintuitionistic logicEntityCategories1971 in computing1974 in computingLambda calculusLogicPolymorphism (computer science)Type theory