Volume 20, 1999

MFPS XV Mathematical Foundations of Progamming Semantics, Fifteenth Conference
Tulane University, New Orleans, LA, April 28-May 1, 1999

• 
  Paulo Sérgio Almeida: Type-checking Balloon Types. 1-27
• 
  Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov: A Core Calculus of Classes and Objects. 28-49
• 
  Kim B. Bruce, Joseph Vanderwaart: Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. 50-75
• 
  Catherine Meadows, Dennis M. Volpano: The MFPS XV Security Session. 76-79
• 
  Martín Abadi: Secrecy in Programming-Language Semantics. 80-94
• 
  Dominique Bolignano: Using Abstract Interpretation for the Safe Verification of Security Protocols. 95-116
• 
  George C. Necula: Enforcing Security and Safety with Proof-Carrying Code. 117-131
• 
  Geoffrey Smith, Dennis M. Volpano: Confinement Properties for Multi-Threaded Programs. 132-142
• 
  Paul Syvreson: Towards a Strand Semantics for Authentication Logic. 143-157
• 
  Peter Selinger: Categorical Structure of Asynchrony. 158-181
• 
  Stephen D. Brookes: Reasoning About Recursive Processes: Expansion is not Always Fair. 182-201
• 
  Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman: Characterizing Topologies With Bounded Complete Computational Models. 202-212
• 
  Martín Hötzel Escardó: On the Compact-regular Coreflection of a Stably Locally Compact Locale. 213-228
• 
  Martín Hötzel Escardó, Bob Flagg: Semantic Domains, Injective Spaces and Monads. 229-244
• 
  Carsten Führmann: Direct Models for the Computational Lambda Calculus. 245-292
• 
  Reinhold Heckmann: Completeness Classes of Equilogical Spaces. 293-308
• 
  Hongde Hu: Contractible Coherence Spaces and Maximal Maps. 309-319
• 
  C. Barry Jay: Denotational Semantics of Shape: Past, Present and Future. 320-333
• 
  Ralph Kummetz: From Partial Orders with Projections to Domains. 334-345
• 
  S. Lassen: Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. 346-374
• 
  Matías Menni, Alex K. Simpson: The Largest Topological Subcategory of Countably-based Equilogical Spaces. 375-398
• 
  Michael W. Mislove: Local Dcpos, Local Cpos and Local Completions. 399-412
• 
  Lawrence S. Moss: Recursion and Corecursion Have the Same Equational Logic. 413-432
• 
  Susan Older: Strong fairness and Recursive Communicating Processes. 433-448
• 
  J. Polokow, Frank Pfenning: Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic. 449-466
• 
  John Power, Edmund Robinson: Modularity and Dyads. 467-480
• 
  Ralf Schweimeier, Alan Jeffrey: A Categorical and Graphical Treatment of Closure Conversion. 481-511
• 
  Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov: Preface. 512-513