EntityQ857813· pop 5· linked from 17 articlesSKI combinator calculusSign in to savetechnique used in functional programmingConnectionsfixed-point combinatorEntitypropositional calculusEntityInternational Standard Book NumberEntityalgorithmEntitydigital object identifierEntityBoolean algebraEntityOCLC, Inc.EntityQ34010EntityJSTOREntityrecursionEntityfunctional programmingEntitylambda calculusEntityorder of operationsEntitybinary treeEntityprinciple of excluded middleEntityQ22908627EntityRaymond SmullyanEntityTuring completenessEntitymodus ponensEntityclassical logicEntityCategoriesCombinatory logicLambda calculus