View of A HOL Basis for Reasoning about Functional Programs

Return to Article Details A HOL Basis for Reasoning about Functional Programs Download Download PDF