Types for proofs and programs
Subtitle: International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers
By: Peter Dybjer, Bengt Nordström, Jan Smith, eds.
Contributors: Dybjer, Peter.; Nordström, Bengt.; Smith, Jan M.
Series: Lecture notes in computer science ;; 996
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 202
Subjects: Automatic theorem proving -- Congresses
Notes: Includes bibliographical references.