Polymorphic type systems - a proof theoretic approach

Författare
Sören Holmström
Språk
Engelska
Förlag År Ort Om boken ISBN
1983 Sverige, Göteborg 59 sidor.