EAN: 9783642024436

TYPES FOR PROOFS AND PROGRAMS KARTONIERT (TB)

These proceedings contain a selection of refereed papers presented at or - lated to the Annual
Workshop of the TYPES project (EU coordination action 510996)  which was held during March
26-29  2008 in Turin  Italy. The topic of this workshop  and of all previous workshops of the
same project  was f- mal reasoning and computer programming based on type theory: languages and
computerized tools for reasoning  and applications in several domains such as analysis of
programming languages  certi?ed software  mobile code  formali- tion of mathematics 
mathematics education. The workshop was attended by more than 100 researchers and included more
than 40 presentations. We also had three invited lectures  from A. Asperti (University of
Bologna)  G. Dowek (LIX  Ecole polytechnique  France) and J. W. Klop (Vrije Universiteit  A-
terdam  The Netherlands). From 27 submitted papers  19 were selected after a reviewing process.
Each submitted paper was reviewed by three referees  the ?nal decisions were made by the
editors. This workshop is the last of a series of meetings of the TYPES working group funded by
the European Union (IST project 29001  ESPRIT Working Group 21900  ESPRIT BRA 6435).

Aktuelle Preise zur EAN 9783642024436

Produktinformationen zur 9783642024436