Palmgren, Erik <br/><br/>
Domain interpretations of intuitionistic type theory 
Erik Palmgren 
 - Uppsala  Uppsala University  1989 
 - 80 p  27 cm 
 - Report  1 .
<br/><br/> Contine bibliografie