2LECTURE12.UNIFICATIONALGORITHMAtypespecialisationiscapturedbyaMapfrom - PPT Presentation
4LECTURE12UNIFICATIONALGORITHMoccursspxtfailVspxapotherwiseRightMinsertxapspfailVspxapLeftunwordsFailtounifyxwithppSpspaprecursiondetectedNoticeherethatMlookupxspreturns ID: 205791