Type-theoretic interpretation of iterated, strictly positive inductive definitions

Författare
Erik Palmgren
Språk
Engelska
Förlag År Ort Om boken ISBN
1991 Sverige, Uppsala 26 sidor.