Types for proofs and programs
Subtitle: international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers
By: Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.).
Contributors: Berardi, Stefano.; Coppo, Mario, 1947-; Damiani, Ferruccio.
Series: Lecture notes in computer science,; 3085
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 408
Subjects: Automatic theorem proving -- Congresses; Computer programming -- Congresses
Genres: Congresses.
Other titles: TYPES 2003
Notes: Includes bibliographical references and index.
Also issued online.