Types for proofs and programs
Subtitle: international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
By: Herman Geuvers, Freek Wiedijk (eds.).
Contributors: Geuvers, Herman, 1964-; Wiedijk, Freek, 1961-
Series: Lecture notes in computer science ;; 2646
Publisher: Springer
Published: 2003
Place of publication: New York
Language: eng
Number of pages: 330
Subjects: Automatic theorem proving -- Congresses; Computer programming -- Congresses
Genres: Congresses.