Abstraction and Refinement in Higher Order Logic.

Matt Fairtlough Michael Mendler Xiaochun Cheng

Published in: TPHOLs (2001)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
high level
modal logic
artificial intelligence
object oriented
belief revision
data representation