| 1995 | A fully abstract semantics for a nondeterministic functional language with monadic types. Alan Jeffrey |
| 1995 | A name-free account of action calculi. Philippa Gardner |
| 1995 | Bireflectivity. Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama |
| 1995 | Bisimilarity as a theory of functional programming. Andrew D. Gordon |
| 1995 | Call-by-name, call-by-value, call-by-need and the linear lambda calculus. John Maraist, Martin Odersky, David N. Turner, Philip Wadler |
| 1995 | Categories for synchrony and asynchrony. J. Robin B. Cockett, David A. Spooner |
| 1995 | Complexity and computability from a programming language perspective. Neil D. Jones |
| 1995 | Concurrent semantics for the pi-calculus. Ugo Montanari, Marco Pistore |
| 1995 | Denotational models for unbounded nondeterminism. Michael W. Mislove |
| 1995 | Domain theory in learning processes. Abbas Edalat |
| 1995 | Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995 Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove |
| 1995 | Fixed points and reflexive domain equations in categories of continuity spaces. Bob Flagg, Ralph Kopperman |
| 1995 | Fixing the semantics of some concurrent object-oriented concepts. Cliff B. Jones |
| 1995 | Foreword and Dedication. Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove |
| 1995 | Generalizing coherent domains and hypercoherences. François Lamarche |
| 1995 | Granularity and the development of concurrent programs. Cliff B. Jones |
| 1995 | Maximal limit spaces, powerspaces, and Scott domains. Douglas N. Hoover |
| 1995 | Objects, interference and the Yoneda embedding. Peter W. O'Hearn, Uday S. Reddy |
| 1995 | On a modal lambda calculus for S4. Frank Pfenning, Hao-Chi Wong |
| 1995 | Operational semantics of a focusing debugger. Karen L. Bernstein, Eugene W. Stark |
| 1995 | Scott induction and equational proofs. Zoltán Ésik, L. Bernátsky |
| 1995 | Solutions of functorial and non-functorial metric domain equations. Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten |
| 1995 | Subtypes and bounded quantification from a fibred perspective. Bart Jacobs |
| 1995 | Syntactic control of interference revisited. Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama |
| 1995 | Termination, deadlock and divergence in the lambda-calculus with multiplicities. Gérard Boudol, Cosimo Laneve |
| 1995 | The Smyth completion: a common foundation for denotational semantics and complexity analysis. Michel P. Schellekens |
| 1995 | Type inference for recursively constrained types and its application to OOP. Jonathan Eifrig, Scott F. Smith, Valery Trifonov |
| 1995 | Types, logic and semantics for nested databases. Achim Jung, Hermann Puhlmann |
| 1995 | Universality and powerdomains. Kay-Jeannette Nüssler |
| 1995 | Weak behavioral subtyping for types with mutable objects. Krishna Kishore Dhara, Gary T. Leavens |