Types for Proofs and Programs : International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Stefano Berardi

Types for Proofs and Programs

International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

By: Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo De Liguoro (Editor)

Paperback | 19 June 2009

At a Glance

Paperback


$101.07

or 4 interest-free payments of $25.27 with

 or 

Aims to ship in 7 to 10 business days

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).

More in Computer Architecture & Logic Design

Simply AI : Facts Made Fast - DK

RRP $22.99

$21.90

Scaling Python with Dask : From Data Science to Machine Learning - Holden Karau
Communication Patterns : A Guide for Developers and Architects - Jacqueline Read
Building Evolutionary Architectures : Automated Software Governance - Neal Ford
Logic and Computer Design Fundamentals, Global Edition : 5th edition - M. Morris Mano
Using Docker - Adrian Mouat

Paperback

RRP $114.00

$50.40

56%
OFF
Essentials of Computer Organization and Architecture - Linda Null
Parallel and Concurrent Programming in Haskell - Simon Marlow

RRP $85.50

$39.75

54%
OFF
Practical Monitoring : Effective Strategies for the Real World - Mike Julian
Effective DevOps - Jennifer Davis

RRP $95.00

$43.25

54%
OFF