Mathematical Structures in Computer Science, Volume 13

Volume 13, Number 1, 2003

• Pawel Urzyczyn: A Simple Proof of the Undecidability of Strong Normalisation. 5-13
• Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo: Intersection Types and lambda-Definability. 15-53
• Daniel J. Dougherty, Pierre Lescanne: Reductions, Intersection Types, and Explicit Substitutions. 55-85
• Anindya Banerjee, Thomas P. Jensen: Modular Control-Flow Analysis with Rank 2 Intersection Types. 87-124
• Christian Mossin: Exact Flow Analysis. 125-156
• Ferruccio Damiani: A Conjunctive Type System for Useless-Code Elimination. 157-197

Volume 13, Number 2, 2003

• Jirí Adámek, Hans-E. Porst: On Varieties and Covarieties in a Category. 201-232
• Steven Awodey, Jesse Hughes: Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. 233-258
• Jirí Adámek, Stefan Milius, Jiri Velebil: Free Iterative Theories: A Coalgebraic View. 259-320
• Falk Bartels: Generalised Coinduction. 321-348
• Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Dualising Initial Algebras. 349-370

Volume 13, Number 3, 2003

• Andrew D. Gordon, Luca Cardelli: Equational Properties Of Mobile Ambients. 371-408
• Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski: Proof Nets And Explicit Substitutions. 409-450
• Peter Hines: A Categorical Framework For Finite State Machines. 451-480

Volume 13, Number 4, 2003

• Samson Abramsky: Sequentiality vs. Concurrency In Games And Logic. 531-565
• Jirí Srba: Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp. 567-587
• Jos C. M. Baeten: Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination. 589-618
• Flavio Corradini, Dino Di Cola: The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. 619-656
• Luca Aceto, Giuseppe Longo, Björn Victor: Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. 481-484
• Vaughan R. Pratt: Transition And Cancellation In Concurrency And Branching Time. 485-529

Volume 13, Number 5, 2003

• Catuscia Palamidessi: Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi. 685-719
• Cosimo Laneve, Björn Victor: Solos In Concert. 657-683
• Philippe Matherat, Marc-Thierry Jaekel: Concurrent Computing Machines And Physical Space-Time. 771-798
• Pascal Zimmer: On The Expressiveness Of Pure Safe Ambients. 721-770

Volume 13, Number 6, 2003

• Lorenzo Tortora de Falco: Obsessional Experiments For Linear Logic Proof-Nets. 799-855
• Dominique Duval: Diagrammatic Specifications. 857-890