Types for proofs and programs
Subtitle: international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers
By: Thorsten Altenkirch, Conor McBride (eds.).
Contributors: Altenkirch, Thorsten, 1962-; McBride, Conor.
Series: Lecture notes in computer science -- 4502.; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 268
ISBN-13: 9783540744634
Subjects: Automatic theorem proving -- Congresses; Computer programming -- Congresses
Genres: Congresses.
Other titles: TYPES 2006.
Notes: International conference proceedings.

Includes bibliographical references and index.

Also issued online.