Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995 (Q1273550)

The articles of this volume will be reviewed individually. The preceding conference (1994) has been announced (see Zbl 0895.00054). Indexed articles: \textit{Schellekens, Michel}, The Smyth completion: a common foundation for denotational semantics and complexity analysis, 535-556 [Zbl 0910.68135] \textit{Jones, Cliff B.}, Granularity and the development of concurrent programs. (Extended abstract), 5 p. [Zbl 0910.68076] \textit{Jones, Cliff B.}, Fixing the semantics of some concurrent object-oriented concepts. (Extended abstract), 6 p. [Zbl 0910.68035] \textit{Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M.}, Solutions of functorial and non-functorial metric domain equations, 12 p. [Zbl 0910.68130] \textit{Jeffrey, Alan; Stuart, Austin}, A fully abstract semantics for a nondeterministic functional language with monadic types, 12 p. [Zbl 0910.68036] \textit{Boudol, Gerard; Laneve, Cosimo}, Termination, deadlock and divergence in the lambda-calculus with multiplicities, 14 p. [Zbl 0910.68131] \textit{Freyd, Peter; O'Hearn, Peter; Power, John; Tennent, Robert; Takeyama, Makoto}, Bireflectivity, 15 p. [Zbl 0908.18002] \textit{Lamarche, Francois}, Generalizing coherent domains and hypercoherences, 15 p. [Zbl 0910.68126] \textit{Flagg, Bob; Kopperman, Ralph}, Fixed points and reflexive domain equations in categories of continuity spaces, 17 p. [Zbl 0910.68124] \textit{Jacobs, Bart P. F.}, Subtypes and bounded quantification from a fibred perspective, 17 p. [Zbl 0910.68142] \textit{Edalat, Abbas}, Domain theory in learning processes, 18 p. [Zbl 0910.68122] \textit{Gardner, Philippa}, A name-free account of action calculi, 18 p. [Zbl 0910.68152] \textit{Mislove, Michael W.}, Denotational models for unbounded nondeterminism, 18 p. [Zbl 0910.68106] \textit{Bernstein, Karen L.; Stark, Eugene W.}, Operational semantics of a focusing debugger, 19 p. [Zbl 0910.68128] \textit{Nuessler, Kay-Jeannette}, Universality and powerdomains, 19 p. [Zbl 0910.68133] \textit{Brookes, Stephen; Older, Susan}, Full abstraction for strongly fair communicating processes, 20 p. [Zbl 0910.68125] \textit{Hoover, D. N.}, Maximal limit spaces, powerspaces and Scott domains, 20 p. [Zbl 0910.68127] \textit{Pfenning, Frank; Wong, Hao-Chi}, On a modal lambda calculus for S4, 20 p. [Zbl 0908.03018] \textit{Gordon, Andrew D.}, Bisimilarity as a theory of functional programming, 21 p. [Zbl 0910.68118] \textit{Jones, Neil D.}, Complexity and computability from a programming language perspective, 21 p. [Zbl 0910.68072] \textit{Jung, Achim; Puhlmann, Hermann}, Types, logic and semantics for nested databases, 21 p. [Zbl 0910.68132] \textit{Eifrig, Jonathan; Smith, Scott; Trifonov, Valery}, Type inference for recursively constrained types and its application to OOP, 22 p. [Zbl 0910.68143] \textit{Dhara, Krishna Kishore; Leavens, Gary T.}, Weak behavioral subtyping for types with mutable objects, 23 p. [Zbl 0910.68144] \textit{Maraist, John; Odersky, Martin; Turner, David N.; Wadler, Philip}, Call-by-name, call-by value, call-by-need and the linear lambda calculus, 23 p. [Zbl 0908.03017] \textit{Cockett, J. R. B.; Spooner, D. A.}, Categories for synchrony and asynchrony, 25 p. [Zbl 0910.68119] \textit{Ésik, Zoltan; Bernátsky, L.}, Scott induction and equational proofs, 28 p. [Zbl 0910.68129] \textit{O'Hearn, Peter; Reddy, Uday}, Objects, interference and the Yoneda embedding, 28 p. [Zbl 0911.68121] \textit{O'Hearn, Peter; Power, John; Tennent, Robert; Takeyama, Makoto}, Syntactic control of interference revisited, 40 p. [Zbl 0943.68108]