Final semantics for a higher order concurrent language (1996)

by Marina Lenisa
Venue:Proc. Coll. on Trees in Algebra and Programming (CAAP