Types for Proofs and Programs Viola Eckelt Rolfe Otte

Rolfe Otte

weil zahlreiche wesentliche immaterielle Werttreiber eines Unternehmens von der traditionellen Rechnungslegung nicht erfasst werden

unabhängig

Leittext Methode

Against the background of the increasing interest in behavioural targeting an examination of its potential importance for marketing will be conducted in this study in order to asses if behavioural targeting can increase the efficiency of media planning in online media

Types for Proofs and Programs Viola Eckelt Rolfe OtteThese proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 2428, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin Lof, one of the