Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
(2001)
Conference Proceeding
Dennis, L. A., & Smaill, A. (2001). Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. In R. J. Boulton, & P. B. Jackson (Eds.),
This paper reports a case study in the use of proof planning in the context of higher order syntax. Rippling is a heuristic for guiding rewriting steps in induction that has been used successfully in proof planning inductive proofs using first order... Read More about Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain.