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