Original language | English |
---|---|
Title of host publication | Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday |
Editors | Jens Palsberg |
Publisher | Springer |
Publication date | 2009 |
Pages | 329-375 |
DOIs | |
Publication status | Published - 2009 |
Series | Lecture Notes in Computer Science |
---|---|
Number | 5700 |