Reasoning about higher-order processes

Författare
Roberto M. Amadio
(Roberto M. Amadio and Mads Dam)
Språk
Engelska
Förlag År Ort Om boken ISBN
1994 Sverige 16 sidor.