Workshop on the Mathematical Foundations of Programming Semantics (6th) Held in Kingston Canada on 16-19 May 1990
Michael W. Mislove · 1991
Abstract : There were seven invited lectures and 25 contributed talks at the meeting. The invited talks were on three broad topics: polymorphism, applications of category theory to programming semantics, and concurrency. The specific topics included polymorphism and type theory, the use of functor categories to model ALGOL like languages, linear logic, the semantics of dataflow networks, semantic models of CSP, and the use of probability theory to model nondeterminism.