Types for proofs and programs : international workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers
Eduardo Giménez, Christine Paulin-Mohring (eds.)
Bok Engelsk 1998 TYPES '96
Utgitt | Berlin : Springer , c1998
|
---|---|
Omfang | VIII, 372 s. : fig.
|
Emner | |
ISBN | 3540651373
|