Mechanizing Structural Induction Part I: Formal System

Raymond Aubin. Mechanizing Structural Induction Part I: Formal System. Theoretical Computer Science, 9:329-345, 1979.

Abstract

Abstract is missing.