Equational specification of partial higher-order algebras

Keyphrases

• High-order 100%
• High-order Functionals 100%
• Equational Specification 100%
• Ordered Algebra 100%
• Explicit Formula 50%
• Order Type 50%
• Abstract Data Types 50%
• Model Theory 50%
• Deduction Rules 50%
• Hierarchical Type 50%

Mathematics

• Functionals 100%
• Conditionals 50%
• Order Type 50%
• Including Algebra 50%
• Deduction Rule 50%
• Formed Formula 50%

Computer Science

• Partial Interpretation 100%
• Formed Formula 100%