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
|
