04044nam--2200961---450-99000115926020331620030725123442.03-540-43613-8000115926USA01000115926(ALEPH)000115926USA0100011592620021217d2002----km-y0itay0103----baENG||||||||001yyAlgebraic and coalgebraic methods in the mathematics of program constructionInternational summer school and workshopOxford, UK, April 10-14, 2000Revised LecturesRoland Backhouse... <et al.> (Eds.)BerlinSpringer-Verlagcopyr.2002XIV,385 p.ill.20 cmLecture notes in computer science2297BACKHOUSERolandITCBSISBD990001159260203316001 LNCS (2297)0026800 CBS00100112116BKSCIDIGIUSEPPE9020021217USA011200DIGIUSEPPE9020030310USA011222DIGIUSEPPE9020030530USA011247DIGIUSEPPE9020030603USA011655DIGIUSEPPE9020030603USA011657DIGIUSEPPE9020030610USA011536DIGIUSEPPE9020030610USA011541DIGIUSEPPE9020030610USA011543DIGIUSEPPE9020030612USA011156DIGIUSEPPE9020030612USA011159DIGIUSEPPE9020030612USA011205DIGIUSEPPE9020030612USA011316DIGIUSEPPE9020030612USA011332DIGIUSEPPE9020030612USA011339DIGIUSEPPE9020030612USA011345DIGIUSEPPE9020030612USA011347DIGIUSEPPE9020030612USA011347DIGIUSEPPE9020030612USA011354DIGIUSEPPE9020030612USA011358DIGIUSEPPE9020030612USA011401DIGIUSEPPE9020030613USA011126DIGIUSEPPE9020030613USA011131DIGIUSEPPE9020030613USA011135DIGIUSEPPE9020030613USA011149DIGIUSEPPE9020030613USA011200DIGIUSEPPE9020030613USA011210DIGIUSEPPE9020030613USA011226DIGIUSEPPE9020030613USA011232DIGIUSEPPE9020030613USA011237DIGIUSEPPE9020030613USA011244DIGIUSEPPE9020030613USA011250DIGIUSEPPE9020030624USA011614DIGIUSEPPE9020030625USA011138DIGIUSEPPE9020030625USA011144DIGIUSEPPE9020030625USA011151DIGIUSEPPE9020030625USA011319DIGIUSEPPE9020030625USA011326DIGIUSEPPE9020030625USA011335DIGIUSEPPE9020030625USA011340DIGIUSEPPE9020030625USA011346DIGIUSEPPE9020030625USA011357DIGIUSEPPE9020030625USA011409DIGIUSEPPE9020030627USA011347DIGIUSEPPE9020030627USA011351DIGIUSEPPE9020030627USA011354DIGIUSEPPE9020030627USA011359DIGIUSEPPE9020030627USA011405DIGIUSEPPE9020030627USA011410DIGIUSEPPE9020030627USA011554DIGIUSEPPE9020030627USA011600DIGIUSEPPE9020030627USA011605DIGIUSEPPE9020030627USA011607DIGIUSEPPE9020030627USA011613DIGIUSEPPE9020030725USA011234PATRY9020040406USA011721PATRY9020061002USA011521Algebraic and coalgebraic methods in the mathematics of program construction983682UNISA