On information discharging and retrieval in Martin-L#øf`s type theory
by Anne Salvesen
Bok Språk ikke angitt 1989
| Utgitt | [Oslo] : [Institute of Informatics, University of Oslo] , 1989
|
|---|---|
| Omfang | 88 s.
|
| Opplysninger | Avhandling (dr. scient.) - Universitetet i Oslo, 1989
|
| Emner | modularization
|
| Dewey |
