# Accession Number:

## ADA291402

# Title:

## Theoretical Computer Science. Logic, Semantics and Theory of Programming. Volume 136, Number 1.

# Descriptive Note:

# Corporate Author:

## TULANE UNIV NEW ORLEANS LA DEPT OF MATHEMATICS

# Personal Author(s):

# Report Date:

## 1994-12-19

# Pagination or Media Count:

## 295.0

# Abstract:

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

# Descriptors:

# Subject Categories:

- Operations Research
- Computer Programming and Software