Types for proofs and programs : international workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
Stefano Berardi, Mario Coppo (eds.)
Bok Engelsk 1996 TYPES '95
Utgitt | Berlin : Springer , c1996
|
---|---|
Omfang | X, 296 s. : ill.
|
Emner | |
Dewey | |
ISBN | 3540617809
|