Constructive action semantics in obj

2006

Peter D. Mosses

in: Algebra, meaning, and computation, Berlin,