TY  - GEN
AU  - Palmgren, Erik
TI  - Domain interpretations of intuitionistic type theory
PY  - 1989///
CY  - Uppsala
PB  - Uppsala University
N1  - Contine bibliografie
ER  -