The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.