Abstract is missing.
- The Abstract Interpretation of Functional LanguagesGeoffrey L. Burn. 3-14
- Deriving Category Theory from Type TheoryRoy L. Crole. 15-26
- Graph Rewriting Systems and Abstract InterpretationChris Hankin. 27-36
- Geometric Logic in Computer ScienceSteven Vickers. 37-54
- Interaction CategoriesSamson Abramsky. 57-69
- Animating LUMark Dawson. 70-81
- Dynamical Systems, Measures and Fractals Via Domain TheoryAbbas Edalat. 82-99
- Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information CategoriesAbbas Edalat. 100-114
- Reasoning About Gamma ProgramsLindsay Errington, Chris Hankin, Thomas P. Jensen. 115-125
- Generalising Interpretations between Theories in the context of (pi-) InstitutionsJosé Luiz Fiadeiro, T. S. E. Maibaum. 126-147
- Modelling SIGNAL in Interaction CategoriesSimon J. Gay, Rajagopal Nagarajan. 148-158
- Product Operations in Strong MonadsReinhold Heckmann. 159-170
- On the Equivalence of State-Transition SystemsMichael Huth. 171-182
- Towards a Modal Logic of Durative ActionsStuart Kent. 183-194
- Concurrency, Fairness and Logical ComplexityMarta Z. Kwiatkowska. 195-208
- Concurrency and Conflict in CSPMarta Z. Kwiatkowska, Iain Phillips. 209-225
- A Complete Axiom System for CCS with a Stability OperatorSarah Liebert. 226-234
- An Internal Language for Autonomous CategoriesIan Mackie, Leopoldo Román, Samson Abramsky. 235-246
- Continuation Passing Transformation and Abstract InterpretationJuarez Muylaert Filho, Geoffrey L. Burn. 247-259
- A Note on Expressiveness of Process AlgebraIain Phillips. 260-264
- Prioritising Preference RelationsMark Ryan. 265-275
- Laws of Parallel Synchronised TerminationDavid Sands. 276-288
- Implementing Process Calculi in CZvi Schreiber. 289-301
- An Exact Interpretation of WhilePaul Taylor. 302-313
- Congrurences for ::::tau::::-Respecting Formats of RulesIrek Ulidowski. 314-325