|
" Types for proofs and programs : "
Paul Callaghan ... [et al.]
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604409
|
| Doc. No
|
:
|
GBA2-20709b433628
|
| Main Entry
|
:
|
TYPES 2000(2000 :, Durham, England)
|
| Title & Author
|
:
|
Types for proofs and programs : : International Workshop, TYPES 2000, Durham 2000 : selected papers /\ Paul Callaghan ... [et al.]
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer-Verlag Berlin Heidelberg,, 2002
|
| Series Statement
|
:
|
Lecture notes in computer science ;
|
| Page. NO
|
:
|
viii, 242 p. :: ill. ;; 24 cm
|
| ISBN
|
:
|
3540432876 (alk. paper)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index
|
| Subject
|
:
|
Automatic theorem proving, Congresses
|
| Subject
|
:
|
Computer programming, Congresses
|
| Dewey Classification
|
:
|
006.3/33
|
| LC Classification
|
:
|
QA76.9.A96T96 2000
|
| Added Entry
|
:
|
Callaghan, Paul,1970-
|
| |