This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians …
The Great Lakes Computer Science Conference is held biannually in Kalamazoo, Michigan. It is a wide-focus conference concerning all areas of Computer Science. Typically, research …
