Abstract is missing.
- Types, Abstractions, and Parametric Polymorphism, Part 2QingMing Ma, John C. Reynolds. 1-40
- Call-by-Value Combinatory Logic and the Lambda-Value CalculusJohn Gateley, Bruce F. Duba. 41-53
- From Operational to Denotational SemanticsScott F. Smith. 54-76
- A Simple Language Supporting Angelic Nondeterminism and Parallel CompositionMichael W. Mislove, Frank J. Oles. 77-101
- The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented LanguagesKim B. Bruce. 102-124
- Primitive Recursive Functionals with Dependent TypesNeal Nelson. 125-143
- Typed Homomorphic Relations Extended with SybtypesGary T. Leavens, Don Pigozzi. 144-167
- Information Links in Domain TheoryJon Barwise. 168-192
- Nonwellfounded Sets and Programming Language SemanticsJan J. M. M. Rutten. 193-206
- Simultaneous Substitution in the Typed Lambda CalculusJohn W. Gray. 207-220
- HSP Type Theorems in the Category of PosetsMichael Barr. 221-234
- Decomposition of DomainsAchim Jung, Leonid Libkin, Hermann Puhlmann. 235-258
- Cartesian Closed Categories of Domains and the Space Proj(D)Michael Huth. 259-271
- An Upper Power Domain Construction in Terms of Strongly Compact SetsReinhold Heckmann. 272-293
- Correctness of Procedure Representations in Higher-Order Assembly LanguageMitchell Wand. 294-311
- An Algorithm for Analyzing Communicating ProcessesNicolas Mercouroff. 312-325
- Continuous Functions and Parallel Algorithms on Concrete Data StructuresStephen D. Brookes, Shai Geva. 326-349
- Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz TracesBard Bloom, Marta Z. Kwiatkowska. 350-375
- On Relating Concurency and NondeterminismLuca Aceto. 376-402
- On Continuous Time AgentsStefano Kasangian, Anna Labella. 403-425
- A Monoidal Closed Category of Event StructuresGuo-Qiang Zhang. 426-435
- An Exper Model for QuestGiuseppe Rosolini. 436-445
- Equations for if-then-elseErnest G. Manes. 446-456
- Program Correctness and Matricial Iteration TheoriesStephen L. Bloom, Zoltán Ésik. 457-476
- Liminf Progress MeasuresNils Klarlund. 477-491
- ConnectionsAustin Melton, Bernd S. W. Schröder, George E. Strecker. 492-506