Executing higher order logic

Keyphrases

• Higher-order Logic 100%
• Inductive Definitions 100%
• Mode Analysis 50%
• Functional Program 50%
• Recursive Functions 50%
• Theorem Prover 50%
• Isabelle 50%
• Prolog 50%
• Combinators 50%
• Function Definition 50%
• Partial Functions 50%

Computer Science

• Higher Order Logic 100%
• Inductive Definition 100%
• Functional Program 50%
• Theorem Prover 50%
• Partial Function 50%
• Function Definition 50%
• Recursive Function 50%