View of A Mechanized Proof of a Textbook Type Unification Algorithm

Return to Article Details A Mechanized Proof of a Textbook Type Unification Algorithm Download Download PDF