Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
Paul Callaghan ... [et al.] (eds.)
Bok Engelsk 2002 TYPES 2000
Utgitt | Berlin : Springer , c2002
|
---|---|
Omfang | VIII, 242 s.
|
Emner | |
Dewey | |
ISBN | 3540432876
|