functions as processes?
tinkering with context notation
Faffing around with a direct translation from GV to CP. It turns out
that CP cannot simulate GV reduction, without reducing under prefixes.
counter-example