Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
Henk Barendregt, Tobias Nipkow (eds.)
Bok Engelsk 1994 TYPES '93
| Utgitt | Berlin : Springer , c1994
|
|---|---|
| Omfang | 383 s.
|
| Emner | |
| ISBN | 0387580859. - 3540580859
|
