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 BibTeX
• Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo: Intersection Types and lambda-Definability. 15-53 BibTeX
• Daniel J. Dougherty, Pierre Lescanne: Reductions, Intersection Types, and Explicit Substitutions. 55-85 BibTeX
• Anindya Banerjee, Thomas P. Jensen: Modular Control-Flow Analysis with Rank 2 Intersection Types. 87-124 BibTeX
• Christian Mossin: Exact Flow Analysis. 125-156 BibTeX
• Ferruccio Damiani: A Conjunctive Type System for Useless-Code Elimination. 157-197 BibTeX

Volume 13, Number 2, 2003

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

Volume 13, Number 3, 2003

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

Volume 13, Number 4, 2003

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

Volume 13, Number 5, 2003

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

Volume 13, Number 6, 2003

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