Mina : et logisk rammeverk med klasser basert på Martin-Löfs monomorfe typeteori med eksplisitte substitusjoner
Ole Bjørn Hessen
Bok Bokmål 1996
| Utgitt | Oslo : [O.B. Hessen] , 1996
|
|---|---|
| Omfang | x, 136 s.
|
| Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 1996
|
| Emner |
