Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003. The 25 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current...

Full description

Bibliographic Details

Corporate Authors:	TYPES 2003 Torino, Italy, SpringerLink (Online service)
Other Authors:	Berardi, Stefano, Coppo, Mario, Damiani, Ferruccio
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 3085.
Subjects:	Automatic theorem proving > Congresses. Computer programming > Congresses. Automatic theorem proving. Computer programming. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book