MFPS 1985: Manhattan, Kansas, USA

• S. Kamal Abdali, David S. Wise:
  Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. 1-19
  
• Jirí Adámek, Horst Herrlich:
  Cartesian Closed Categories, Quasitopoi and Topological Universes. 20-41
  
• H. Bargenda, Horst Herrlich, George E. Strecker:
  Concrete Categories and Injectivity. 42-52
  
• David B. Benson, Jerzy Tiuryn:
  Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). 53-58
  
• Stephen D. Brookes:
  A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. 59-100
  
• Carl A. Gunter:
  Comparing Categories of Domains. 101-121
  
• Horst Herrlich, Miroslav Husek:
  Galois Connections. 122-134
  
• Tsutomu Kamimura, Adrian Tang:
  Retracts of SEP Objects. 135-148
  
• Jürgen Koslowski:
  Continuous Categories. 149-161
  
• Michael G. Main:
  Free Constructions of Powerdomains. 162-183
  
• Ernest G. Manes:
  Additive Domains. 184-195
  
• Austin Melton, David A. Schmidt:
  A Topological Framework of cpos Lacking Bottom Elements. 196-204
  
• Michael W. Mislove:
  Detecting Local Finite Breadth in Continuous Lattices and Semilattices. 205-214
  
• Ana Pasztor:
  On the Variety Concept of omega-Continuous Algebras. Application of a General Approach. 215-248
  
• Naphtali Rishe:
  On Denotational Semantics of Data Bases. 249-274
  
• Naphtali Rishe:
  Postconditional Semantics of Data Base Queries. 275-295
  
• Jonathan C. Shultis:
  What is a Model? A Consumer's Perspective on Semantic Theory. 296-307
  
• Jonathan D. H. Smith:
  Modal Theory, Partial Orders, and Digital Geometry. 308-323
  
• Teresa A. Thomas, Donald F. Stanat:
  An FP Domain with Infinite Objects. 324-341
  
• P. Venugopalan:
  Union Complete Countable Subset Systems. 342-356
  
• Maria Zamfir, David Martin:
  On the Syntax and Semantics of Concurrent Computing. 357-394