On Behavioural Interpretation of Types in Name Passing Calculi (Extended Abstract)

Cached

Download Links

by Kohei Honda
Citations:1 - 1 self