Towards a model theory of types for the π-calculus

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