Translating Dependent Type Theory into Higher Order Logic.

Bart Jacobs Thomas F. Melham

Published in: TLCA (1993)

Keyphrases

higher order logic
higher order
logical framework
theoretical framework
conditional logic
theorem prover
machine learning
multi agent
relational databases
rule learning