Types for Proofs and Programs Förderungs- und Betriebs GmbH Aushandeln der Beurteilung zwischen Vorgesetzten

Aushandeln der Beurteilung zwischen Vorgesetzten und Mitarbeitern

der FRANKFURTER ALGEMEINEN ZEITUNG und LE FIGARO Stefan Hauser / Martin Luginbühl Medientexte zwischen Globalisierung und Lokalisierung

Die Untersuchung beschränkt sich auf die Bundesrepublik Deutschland

3meso-Tetra-((-bromtolyl)-porphyrin56

der am Lehrstuhl für Arbeits-

Types for Proofs and Programs Förderungs- und Betriebs GmbH Aushandeln der Beurteilung zwischen VorgesetztenThese proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop was attended by about 100 researchers. Out of 37 submitted papers, 25 were selected after a refereeing process. The ? nal choices were made by the editors.