Solving Higher-Order Equations
Christian Prehofer · Birkhäuser Boston eBooks · 1998
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and m