Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
International Symposium on Programming Proceedings of the Fourth "Colloque International Sur la Programmation" Paris, 22-24 April 1980
Semantics of Type Theory Correctness, Completeness, and Independence Results
Semantics of Systems of Concurrent Processes Proceedings of the LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990
Semantics: Foundations and Applications REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
Recent Trends in Data Type Specification 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
EUROSAM 84 International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
