Types for proofs and programs : international workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Bok Engelsk 1995 TYPES '94
| Utgitt | Berlin : Springer , c1995
|
|---|---|
| Omfang | X, 202 s.
|
| Emner | |
| ISBN | 3540605797
|
