Workshop on the Mathematical Foundations of Programming Semantics (6th) Held in Kingston Canada on 16-19 May 1990
Final project rept.,
TULANE UNIV NEW ORLEANS LA
Pagination or Media Count:
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.
- Numerical Mathematics
- Computer Programming and Software