Polymorphic Π₁ types and a simple approach to propositions, types and sets
by Ivar Rummelhoff
Bok Engelsk 2007
| Utgitt | [Oslo] : University of Oslo, Department of Mathematics : Unipub , 2007
|
|---|---|
| Omfang | 196 s. : ill.
|
| Opplysninger | Avhandling (dr.scient.) - Universitetet i Oslo, 2007
|
| Emner | |
| Dewey |
