Types for proofs and programs
Subtitle: international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
By: Stefano Berardi, Mario Coppo, (eds.).
Contributors: Berardi, Stefano.; Coppo, Mario, 1947-
Series: Lecture notes in computer science ;; 1158
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 296
Subjects: Automatic theorem proving -- Congresses
Notes: Includes bibliographical references.