| 1 | -- | 38 | Stephen L. Bloom, Zoltán Ésik. Fixed-Point Operations on ccc s. Part I |
| 39 | -- | 83 | Davide Sangiorgi. Locality and Interleaving Semantics in Calculi for Mobile Processes |
| 85 | -- | 109 | Fairouz Kamareddine, Rob Nederpelt. A Useful lambda-Notation |
| 111 | -- | 140 | Neil Immerman, Sushant Patnaik, David W. Stemple. The Expressiveness of a Family of Finite Set Languages |
| 141 | -- | 156 | Jean-Michel Fourneau, Erol Gelenbe, Rina Suros. G-Networks with Multiple Classes of Negative and Positive Customers |
| 157 | -- | 177 | Vadam Kagan, Anil Nerode, V. S. Subrahmanian. Computing Minimal Models by Partial Instantiation |
| 179 | -- | 219 | Flemming Nielson, Hanne Riis Nielson. From CML to its Process Algebra |
| 221 | -- | 264 | Guo-Qiang Zhang. Quasi-Prime Algebraic Domains |
| 265 | -- | 266 | Martin W. Bunder, J. Roger Hindley. Two beta-Equal lambda-I-Terms with no Types in Common |
| 267 | -- | 276 | Thomas Drakengren. Uniqueness of Scott s Reflexive Domain in P-omega |
| 277 | -- | 288 | Wenhui Zhang. Number of Models and Satisfiability of Sets of Clauses |