| 1986 | Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings Austin Melton |
| 1985 | A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. Stephen D. Brookes |
| 1985 | A Topological Framework of cpos Lacking Bottom Elements. Austin Melton, David A. Schmidt |
| 1985 | Additive Domains. Ernest G. Manes |
| 1985 | An FP Domain with Infinite Objects. Teresa A. Thomas, Donald F. Stanat |
| 1985 | Cartesian Closed Categories, Quasitopoi and Topological Universes. Jirí Adámek, Horst Herrlich |
| 1985 | Comparing Categories of Domains. Carl A. Gunter |
| 1985 | Concrete Categories and Injectivity. H. Bargenda, Horst Herrlich, George E. Strecker |
| 1985 | Continuous Categories. Jürgen Koslowski |
| 1985 | Detecting Local Finite Breadth in Continuous Lattices and Semilattices. Michael W. Mislove |
| 1985 | Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). David B. Benson, Jerzy Tiuryn |
| 1985 | Free Constructions of Powerdomains. Michael G. Main |
| 1985 | Galois Connections. Horst Herrlich, Miroslav Husek |
| 1985 | Modal Theory, Partial Orders, and Digital Geometry. Jonathan D. H. Smith |
| 1985 | On Denotational Semantics of Data Bases. Naphtali Rishe |
| 1985 | On the Syntax and Semantics of Concurrent Computing. Maria Zamfir, David L. Martin |
| 1985 | On the Variety Concept of omega-Continuous Algebras. Application of a General Approach. Ana Pasztor |
| 1985 | Postconditional Semantics of Data Base Queries. Naphtali Rishe |
| 1985 | Retracts of SEP Objects. Tsutomu Kamimura, Adrian Tang |
| 1985 | Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. S. Kamal Abdali, David S. Wise |
| 1985 | Union Complete Countable Subset Systems. P. Venugopalan |
| 1985 | What is a Model? A Consumer's Perspective on Semantic Theory. Jonathan C. Shultis |