Title: Design and application of strategies/tactics in higher order logics
Subjects: Theorem proving, Semantics, Tactics, Computer programming, Calculus