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 |