Cover Image

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /

Show other versions (1)
Bibliographic Details
Corporate Author: TYPES 2000 Durham, England
Other Authors: Callaghan, Paul, 1970-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science. 2277.
Subjects:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
Online Access:http://link.springer-ny.com/link/service/series/0558/tocs/t2277.htm
Description
Physical Description:viii, 242 pages : illustrations ; 24 cm.
Also available via the World Wide Web.
Bibliography:Includes bibliographical references and index.
ISBN:3540432876 (alk. paper)
ISSN:0302-9743 ;