Theoretical Computer Science. Logic, Semantics and Theory of Programming. Volume 136, Number 1.
TULANE UNIV NEW ORLEANS LA DEPT OF MATHEMATICS
Pagination or Media Count:
This issue is devoted to some of the papers that were submitted to the Proceedings of the meeting on the Mathematical Foundations of Programming Semantics that took place at the University of Oxford in April 1992. The papers in this issue are devoted to domain theory, lambda calculus and related topics. These subjects are at the heart of semantics, and so it is quite appropriate to devote one of the Proceedings issues to them. AN
- Operations Research
- Computer Programming and Software