Accession Number : ADA291402

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

Corporate Author : TULANE UNIV NEW ORLEANS LA DEPT OF MATHEMATICS

Personal Author(s) : Nivat, M. ; Mislove, M. W. ; Reed, G. M. ; Roscoe, A. W. ; Wachter, R. F.

Report Date : 19 DEC 1994

Pagination or Media Count : 295

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 :   *COMPUTER PROGRAMMING, *MATHEMATICAL PROGRAMMING, MATHEMATICAL MODELS, ALGORITHMS, COMPUTATIONS, COMPUTER LOGIC, PROGRAMMING LANGUAGES, SEMANTICS, MATHEMATICAL LOGIC, ALGEBRA, TRANSFORMATIONS(MATHEMATICS), RECURSIVE FUNCTIONS, TIME DOMAIN, GAME THEORY, CALCULUS OF VARIATIONS, FIELDS(COMPUTER PROGRAMS), AUTOMATA.

Subject Categories : Operations Research
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE