Introducing Girard's quantitative domains : the quantitative domains as a model for nondeterminism and typed λ-calculus with recursive types
Christian-Emil S. Ore
Bok Engelsk 1988 Christian-Emil Ore
| Utgitt | [Oslo] , 1988
|
|---|---|
| Omfang | vi, 173 bl.
|
| Opplysninger | Avh. (Dr. scient.) - Universitet i Oslo, 1988.
|
| Emner | |
| Dewey | |
| ISBN | 8273680150
|
