Keyphrases
- higher order logic
- higher order
- functional programming
- programming language
- theorem prover
- conditional logic
- logical framework
- plagiarism detection
- functional language
- first order logic
- data representation
- automated reasoning
- artificial intelligence
- temporal logic
- belief revision
- model checking
- general purpose
- high level