Density theorems for the domains-with-totality semantics of dependent types

Författare
Ulrich Berger
Språk
Engelska
Förlag År Ort Om boken ISBN
Uppsala universitet. Matematiska institutionen 1996 Sverige, Uppsala 24 sidor.