| 000 | 00414 a2200145 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c25420 _d25420 |
||
| 100 | _aEklund, Erik | ||
| 245 |
_aA domain-theoretic model for the terms of instuitionistic type theorem _cEklund, Erik |
||
| 260 |
_aUppsala _bUniversity Uppsala _c1987 |
||
| 300 |
_a90 p _c29 cm |
||
| 440 |
_aProject report _n1987 |
||
| 500 | _aContine bibliografie | ||
| 942 |
_aIMAR _cCART _sSN |
||
| 999 |
_c25129 _d25129 |
||