| 1987 | Continuous Auxiliary Relations. | Tsutomu Kamimura, Adrian Tang |
| 1987 | New Results on Hierarchies of Domains. | Achim Jung |
| 1987 | MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). | Neil D. Jones, Peter Sestoft, Harald Sndergaard |
| 1987 | A Powerdomain Construction. | Karel Hrbacek |
| 1987 | A Categorical Treatment of Polymorphic Operations. | John W. Gray |
| 1987 | Closure Properties of a Probabilistic Domain Construction. | Steven K. Graham |
| 1987 | Topological Completeness in an Ideal Model for Polymorphic Types. | Ernst-Erich Doberkat |
| 1987 | DI-Domains as a Model of Polymorphism. | Thierry Coquand, Carl A. Gunter, Glynn Winskel |
| 1987 | A Categorical Approach to Realizability and Polymorphic Types. | Aurelio Carboni, Peter J. Freyd, Andre Scedrov |
| 1987 | The Semantics of Miranda's Algebraic Types. | Kim B. Bruce, Jon G. Riecke |
| 1987 | Semantically Based Axiomatics. | Stephen D. Brookes |
| 1987 | A Treatment of Languages with Stages of Evaluation. | Laurette Bradley |
| 1987 | Path Semantics. | Adrienne G. Bloss, Paul Hudak |
| 1987 | The Shuffle Bialgebra. | David B. Benson |
| 1987 | Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. | Pierre America, Jan J. M. M. Rutten |
| 1985 | On the Syntax and Semantics of Concurrent Computing. | Maria Zamfir, David L. Martin |
| 1985 | Union Complete Countable Subset Systems. | P. Venugopalan |
| 1985 | An FP Domain with Infinite Objects. | Teresa A. Thomas, Donald F. Stanat |
| 1985 | Modal Theory, Partial Orders, and Digital Geometry. | Jonathan D. H. Smith |
| 1985 | What is a Model? A Consumer's Perspective on Semantic Theory. | Jonathan C. Shultis |
| 1985 | Postconditional Semantics of Data Base Queries. | Naphtali Rishe |
| 1985 | On Denotational Semantics of Data Bases. | Naphtali Rishe |
| 1985 | On the Variety Concept of omega-Continuous Algebras. Application of a General Approach. | Ana Pasztor |
| 1985 | Detecting Local Finite Breadth in Continuous Lattices and Semilattices. | Michael W. Mislove |
| 1985 | A Topological Framework of cpos Lacking Bottom Elements. | Austin Melton, David A. Schmidt |