Rudiments of _-calculus (0)

by A Arnold, D Niwi'nski
Venue:Handbook of Process Algebra, Elsevier, 2001