Domain interpretations of intuitionistic type theory

Författare
Erik Palmgren
(Erik Palmgren and Viggo Stoltenberg-Hansen)
Språk
Engelska
Förlag År Ort Om boken ISBN
1989 Sverige 78 sidor.