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

Bibliographic Details
Corporate Author:	TYPES 2003 Torino, Italy
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. TYPES Proofs Programs
Online Access:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3085

Published 2004

Connect to the full text of this electronic book

Conference Proceeding eBook