Mathematical Structures in Computer Science, Volume 10

Volume 10, Number 1, February 2000

• Healfdene Goguen, Jean Goubault-Larrecq: Sequent combinators: a Hilbert system for the lambda calculus. 1-79 BibTeX
• Steven Awodey: Topological representation of the lambda-calculus. 81-96 BibTeX

Volume 10, Number 2, April 2000

• Michael Barr, Philip J. Scott, R. A. G. Seely: Introduction. 97-98 BibTeX
• Mirjana Borisavljevic, Kosta Dosen, Zoran Petric: On permuting cut with contraction. 99-136 BibTeX
• Marta Bunge, Marcelo P. Fiore: Unique factorisation lifting functors and categories of linearly-controlled processes. 137-163 BibTeX
• J. Robin B. Cockett, Jürgen Koslowski, R. A. G. Seely: Introduction to linear bicategories. 165-203 BibTeX
• Esfandiar Haghverdi: Unique decomposition categories, Geometry of Interaction and combinatory logic. 205-230 BibTeX
• Masahiro Hamano: Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). 231-259 BibTeX
• Jonathan P. Seldin: On lists and other abstract data types in the calculus of constructions. 261-276 BibTeX
• Paul Ruet: Non-commutative logic II: sequent calculus and phase semantics. 277-312 BibTeX

Volume 10, Number 3, June 2000

• Martín Abadi: top-top-closed relations and admissibility. 313-320 BibTeX
• Andrew M. Pitts: Parametric polymorphism and operational equivalence. 321-359 BibTeX
• Vincent Padovani: Decidability of fourth-order matching. 361-372 BibTeX
• Razvan Diaconescu: Category-based constraint logic. 373-407 BibTeX

Volume 10, Number 4, August 2000

• Eric Goubault: Foreword. 409 BibTeX
• Eric Goubault: Geometry and concurrency: a user's guide. 411-425 BibTeX
• Martin Raußen: On the classification of dipaths in geometric models for concurrency. 427-457 BibTeX
• Lisbeth Fajstrup: Loops, ditopology and deadlocks. 459-480 BibTeX
• Philippe Gaucher: Homotopy invariants of higher dimensional categories and concurrency in computer science. 481-524 BibTeX
• Vaughan R. Pratt: Higher dimensional automata revisited. 525-548 BibTeX
• Maurice Herlihy, Sergio Rajsbaum: Algebraic spans. 549-573 BibTeX

Volume 10, Number 5, October 2000

• Malgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc: Statistical properties of simple types. 575-594 BibTeX
• Benedetto Intrigila, E. Biasone: On the number of fixed points of a combinator in lambda calculus. 595-615 BibTeX
• Kohei Honda: Elementary structures in process theory (1): Sets with renaming. 617-663 BibTeX

Volume 10, Number 6, December 2000

• Christel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. 665-717 BibTeX
• Michael Huth, Achim Jung, Klaus Keimel: Linear types and approximation. 719-745 BibTeX