Anna Ingólfsdóttir
-
A semantic theory for value-passing processes based on the late approach
Information and Computation