Revision #743 → #1091 · back to history
addedCombinatory logica102703e4319
addedCombinatoraf1fc0cc1bb1
addedLambda-term6467ed30b27f
addedAbstraction (lambda)262799af0c8a
addedApplication (lambda)db8c9e8bbf52
addedNormal form (lambda)15f5b83fb22c
addedSquare function example9ab9fdf1f4fa
addedChurch–Turing thesisa4092ae71b57
addedCombinatory termd29e598935c3
addedPrimitive combinators66e026560a18
addedReduction rule for combinatorsbaad63d014f7
addedIdentity combinator Iff46b9a763cd
addedK combinatorbb67d77f7441
addedS combinator6fdb83deb094
addedExtensional vs intensional equality10df65b30f6d
addedFixed point combinatorae727bfe9fe2
addedCompleteness of S-K basise78646cbcc61
addedT[] transformationc501d924d91f
addedAbstraction elimination963bb36d3cd5
addedBracket abstraction4f8da1020443
addedConversion of λx.λy.(y x)9e330d7c25d8
addedCubic blowup of T[] translation0860a8c2f304
addedη-reduction rule167a4786accc
addedOne-point basis Xdb91b2887c58
addedOne-point basis X'37d2c8f19134
addedSimplest one-point basis S'cb15c504624d
addedInfinitely many one-point bases3bba08e9aae2
addedB and C combinatorseb0c3510218a
addedB, C expressed via S and K23b8cb823e3c
addedCL_I calculus78f3c591128e
addedReverse conversion L[]7611ed12d217
addedNormal form (combinatory)a0d0409eb673
addedUndecidability of normal form7dad9705ec56
addedPredicate combinator48014e45229a
addedNontrivial predicate3ce1d76d8e1c
addedComplete combinator6cb8a6e477ce
addedAnalogue of Rice's theorem66bc05588cf6
addedNo predicate for normal forme47a0dcf0ab1
addedNo EQUAL predicate9a0bffaec337
addedCurry–Howard correspondence9140f92a12d3
addedAxioms AK and AS8b4e0bd74461
addedModus ponens rulec81228e012c3
addedCompleteness for implicational intuitionistic logic03950d8e58c5