Repository | Directory | Profile

Peter D. Mosses
Constructive action semantics in obj
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
Repository | Directory | Profile

Constructive action semantics in obj
2006
in: Algebra, meaning, and computation, Dordrecht : Springer