Semantics of Data Types
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
ESOP '88 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
