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

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

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

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

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

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