Chris Hankin · 8 obras en el catálogoObrasStatic analysisAbstract interpretation of declarative languagesSemantics, Logics, and CalculiCoordination programmingIIntroducao ao calculo lambdaIntroducao ao calculo lambdaProgramming Languages and Systems1998Lambda Calculi1994Principles of program analysis