Theoretical Computer Science, Volume 294

Volume 294, Number 1/2, February 2003

Category Theory and Computer Science

Jirí Adámek, Martín Hötzel Escardó, Martin Hofmann: Preface. 1 BibTeX
Jirí Adámek: On final coalgebras of continuous functors. 3-29 BibTeX
Anna Bucalo, Carsten Führmann, Alex K. Simpson: An equational notion of lifting monad. 31-60 BibTeX
J. Robin B. Cockett, Stephen Lack: Restriction categories II: partial map classification. 61-102 BibTeX
Camillo Fiorentini, Silvio Ghilardi: Combining word problems through rewriting in categories with products. 103-149 BibTeX
Thomas T. Hildebrandt: Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay. 151-181 BibTeX
Martin Hyland, Andrea Schalk: Glueing and orthogonality for models of linear logic. 183-231 BibTeX
Lawrence S. Moss: Recursion and corecursion have the same equational logic. 233-267 BibTeX
Andrzej S. Murawski, C.-H. Luke Ong: Exhausting strategies, joker games and full completeness for IMLL with Unit. 269-305 BibTeX
Hideki Tsuiki: A domain-theoretic semantics of lax generic functions. 307-331 BibTeX

Linear Logic

Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov: Preface. 333 BibTeX
V. Michele Abrusci: Towards a semantics of proofs for non-commutative logic: multiplicatives and additives. 335-351 BibTeX
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. 353-378 BibTeX
Stefano Guerrini, Simone Martini, Andrea Masini: Coherence for sharing proof-nets. 379-409 BibTeX
Raymond McDowell, Dale Miller, Catuscia Palamidessi: Encoding transition systems in sequent calculus. 411-437 BibTeX
Vaughan R. Pratt: Chu spaces as a semantic bridge between linear logic and mathematics. 439-471 BibTeX
Christian Retoré: Handsome proof-nets: perfect matchings and cographs. 473-488 BibTeX
Lorenzo Tortora de Falco: Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property. 489-524 BibTeX
Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov: Phase semantics for light linear logic. 525-549 BibTeX
Misao Nagayama, Mitsuhiro Okada: A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. 551-573 BibTeX