Types for proofs and programs
Subtitle: international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers
By: Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.).
Contributors: Miculan, Marino.; Scagnetto, Ivan.; Honsell, Furio.
Series: Lecture notes in computer science -- 4941; LNCS sublibrary
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 202
ISBN-13: 9783540680840
Subjects: Automatic theorem proving -- Congresses.; Computer programming -- Congresses.
Genres: Congresses.
Other titles: TYPES 2007
Notes: Includes bibliographical references and index.