Effect Polymorphism in Higher-Order Logic (Proof Pearl).

Andreas Lochbihler

Published in: ITP (2017)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
belief revision
logical framework
pairwise
inference rules
modal logic
data representation
theorem proving
default reasoning
automated reasoning