Distributive Semantics for Nondeterministic Typed - calculi (1984)

by E Astesiano, G Costa
Venue:TCS