A domain-theoretic model for the terms of intuitionistic type theory

Författare
Erik Eklund
Språk
Engelska
Förlag År Ort Om boken ISBN
1987 Sverige, Uppsala 90 sidor.