CRC Press Semantics of Programming Languages and Model Theory 5

Explore the intersection of algebra, logic, and computer science with Semantics of Programming Languages and Model Theory: 5. This volume captures the proceedings from the conference held at the International Conference and Research Center for Computer Science, SchloB Dagstuhl, in June 1991. This collection brings together insights from participants representing 10 different countries. The text focuses on how methods from algebra, logic, and order theory provide solutions for problems in denotational semantics and domain theory. Readers will find a wide range of academic interests covered, including discussions on functional programming languages and other specialized topics within the field. As part of the Algebra, Logic and Applications series from CRC Press, this book serves as a technical resource for those studying the relationship between mathematical theory and programming language semantics. It documents the fruitful interactions between different scientific fields as presented during the 1991 sessions.