| 000 | 00388 a2200145 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c24044 _d24044 |
||
| 100 | _aPalmgren, Erik | ||
| 245 |
_aDomain interpretations of intuitionistic type theory _cErik Palmgren |
||
| 260 |
_aUppsala _bUppsala University _c1989 |
||
| 300 |
_a80 p _c27 cm |
||
| 440 |
_aReport _n1 |
||
| 500 | _aContine bibliografie | ||
| 942 |
_aIMAR _cCART _sSN |
||
| 999 |
_c23756 _d23756 |
||