Types for proofs and programs
Subtitle: international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
By: Henk Barendregt, Tobias Nipkow, eds.
Contributors: Barendregt, H. P.; Nipkow, Tobias, 1958-
Series: Lecture notes in computer science ;; 806
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 383
Subjects: Automatic theorem proving -- Congresses; Computer programs -- Congresses
Notes: Includes bibliographical references.