Abstract is missing.
- Coherence and Valid Isomorphism in Closed Categories - Applications of Proof Theory to Category Theory In a Computer Scientist PerspectiveGiuseppe Longo. 1-4
- An Algebraic View of Interleaving and Distributed Operational Semantics for CCSUgo Montanari, Daniel Yankelevich. 5-20
- Temporal StructuresRoss Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt. 21-51
- Compostional Relational Semantics for Indeterminate Dataflow NetworksEugene W. Stark. 52-74
- Operations in RecordsLuca Cardelli, John C. Mitchell. 75-81
- Projections for Polymorphic Strictness AnalysisJohn Hughes. 82-100
- A Category-theoretic Account of Program ModulesEugenio Moggi. 101-117
- A Note on Categorical DatatypesG. C. Wraith. 118-127
- A Set Constructor for Inductive Sets in Martin-Löf s Type TheoryKent Petersson, Dan Synek. 128-140
- Independence Results for Calculi of Dependent TypesThomas Streicher. 141-154
- Quantitative Domains, Groupoids and Linear LogicPaul Taylor 0002. 155-181
- Graded Multicategories of Polynomial-time RealizersR. A. G. Seely. 182-197
- On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-VersaBart Jacobs. 198-212
- DictosesThomas Ehrhard. 213-223
- Declarative Continuations: an Investigation of Duality in Programming Language SemanticsAndrzej Filinski. 224-249
- Logic Representation in LFRobert Harper, Donald Sannella, Andrzej Tarlecki. 250-272
- Unification Properties of Commutative Theories: A Categorical TreatmentFranz Baader. 273-299
- An Abstract Formulation for Rewrite SystemsA. John Power. 300-312
- From Petri Nets to Linear LogicNarciso Martí-Oliet, José Meseguer. 313-340
- A Dialectica-like Model of Linear LogicValeria de Paiva. 341-356
- A Final Coalgebra TheoremPeter Aczel, Nax Paul Mendler. 357-365