Executing higher order logic

Keyphrases

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

Computer Science

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