Types for proofs and programs : international workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999 : selected papers
Thierry Coquand ... [et al.] (eds.)
Bok Engelsk 2000 TYPES '99
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | 193 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540415173
|
