03866nam--2200973---450-99000115923020331620040730112115.03-540-44044-5000115923USA01000115923(ALEPH)000115923USA0100011592320021217d2002----km-y0itay0103----baengDEa|||||||001yyApplied semanticsinternational summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000advances lecturesGilles Barthe ... [et al.] (Eds.)Berlin [etc.]Springercopyr. 2002VI, 536 p.ill.24 cmLecture notes in computer science23952001Lecture notes in computer science23952001001-------2001Linguaggi di programmazione005.13BARTHE,GillesITCBSISBD990001159230203316001 LNCS 23950027059/CBS00100112069BKSCIDIGIUSEPPE9020021217USA011200DIGIUSEPPE9020030310USA011222DIGIUSEPPE9020030530USA011247DIGIUSEPPE9020030603USA011655DIGIUSEPPE9020030603USA011657DIGIUSEPPE9020030610USA011536DIGIUSEPPE9020030610USA011541DIGIUSEPPE9020030610USA011543DIGIUSEPPE9020030612USA011156DIGIUSEPPE9020030612USA011159DIGIUSEPPE9020030612USA011205DIGIUSEPPE9020030612USA011316DIGIUSEPPE9020030612USA011332DIGIUSEPPE9020030612USA011339DIGIUSEPPE9020030612USA011345DIGIUSEPPE9020030612USA011347DIGIUSEPPE9020030612USA011347DIGIUSEPPE9020030612USA011354DIGIUSEPPE9020030612USA011358DIGIUSEPPE9020030612USA011401DIGIUSEPPE9020030613USA011126DIGIUSEPPE9020030613USA011131DIGIUSEPPE9020030613USA011135DIGIUSEPPE9020030613USA011149DIGIUSEPPE9020030613USA011200DIGIUSEPPE9020030613USA011210DIGIUSEPPE9020030613USA011226DIGIUSEPPE9020030613USA011232DIGIUSEPPE9020030613USA011237DIGIUSEPPE9020030613USA011244DIGIUSEPPE9020030613USA011250DIGIUSEPPE9020030624USA011614DIGIUSEPPE9020030625USA011138DIGIUSEPPE9020030625USA011144DIGIUSEPPE9020030625USA011151DIGIUSEPPE9020030625USA011319DIGIUSEPPE9020030625USA011326DIGIUSEPPE9020030625USA011335DIGIUSEPPE9020030625USA011340DIGIUSEPPE9020030625USA011346DIGIUSEPPE9020030625USA011357DIGIUSEPPE9020030625USA011409DIGIUSEPPE9020030627USA011347DIGIUSEPPE9020030627USA011351DIGIUSEPPE9020030627USA011354DIGIUSEPPE9020030627USA011359DIGIUSEPPE9020030627USA011405DIGIUSEPPE9020030627USA011410DIGIUSEPPE9020030627USA011554PATRY9020040406USA011721RIVELLI9020040730USA011121Applied semantics983719UNISA