Mathematical Structures in Computer Science, Volume 12

Volume 12, Number 1, 2002

Loïc Colson: Syntactical Truth Predicates for Formulas with Atomic Negation. 1-18 BibTeX
Sara Negri: Continuous Domains as Formal Spaces. 19-52 BibTeX
Roberto Bruni, José Meseguer, Ugo Montanari: Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. 53-90 BibTeX
Paolo Boldi, Felice Cardone, Manfred Droste: Universal Homogeneous Graph-Like Structures And Domains. 91-109 BibTeX

Andrzej Ehrenfeucht, Ion Petre, David M. Prescott, Grzegorz Rozenberg: String and Graph Reduction Systems for Gene Assembly in Ciliates. 113-134 BibTeX
Renate Klempien-Hinrichs: Normal Forms for Context-Free Node-Rewriting Hypergraph Grammars. 135-148 BibTeX
Barbara König: Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems. 149-175 BibTeX
Peter Burmeister, Mercè Llabrés, Francesc Rosselló: Pushout Complements for Partly Total Algebras. 177-201 BibTeX
Bruno Courcelle, Johann A. Makowsky: Fusion in Relational Structures and the Verification of Monadic Second-Order Properties. 203-235 BibTeX

Jaap van Oosten: Realizability: A Historical Essay. 239-263 BibTeX
Andrew M. Pitts: Tripos Theory in Retrospect. 265-279 BibTeX
Ulrich Berger: Computability and Totality in Domains. 281-294 BibTeX
J. M. E. Hyland: Variations on Realizability: Realizing the Propositional Axiom of Choice. 295-317 BibTeX
Steven Awodey, Lars Birkedal, Dana S. Scott: Local Realizability Toposes and a Modal Logic for Computability. 319-334 BibTeX
Peter Lietz, Thomas Streicher: Impredicativity entails Untypedness. 335-347 BibTeX

Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas: Concurrency and Loose Semantics of Open Graph Transformation Systems. 349-376 BibTeX
Loïc Hélouët, Claude Jard, Benoît Caillaud: An Event Structure Based Semantics for High-Level Message Sequence Charts. 377-402 BibTeX
Javier Larrosa, Gabriel Valiente: Constraint Satisfaction Algorithms for Graph Pattern Matching. 403-422 BibTeX
Nico Verlinden, Dirk Janssens: Algebraic Properties Of Processes for Local Action Systems. 423-448 BibTeX
Paul-André Melliès: Double Categories: A Modular Model of Multiplicative Linear Logic. 449-479 BibTeX
Lutz Schröder, Paulo Mateus: Universal Aspects of Probabilistic Automata. 481-512 BibTeX
Richard Blute, J. Robin B. Cockett, R. A. G. Seely: The Logic of Linear Functors. 513-539 BibTeX

Grigore Rosu: Axiomatizability in Inclusive Equational Logics. 541-563 BibTeX
H. Peter Gumm, Tobias Schröder: Coalgebras Of Bounded Type. 565-578 BibTeX
Thomas Ehrhard: On Köthe Sequence Spaces and Linear Logic. 579-623 BibTeX
Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott: Geometry of Interaction and Linear Combinatory Algebras. 625-665 BibTeX
Stefan Sokolowski: Investigation of Concurrent Processes by Means of Homotopy Functors. 665-699 BibTeX

Davide Ancona, Elena Zucca: A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. 701-737 BibTeX
Matías Menni, Alex K. Simpson: Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces. 739-770 BibTeX
Daniel Fridlender: A Proof-Irrelevant Model of Martin-Löf's Logical Framework. 771-795 BibTeX
Sylvain Lippi: Encoding Left Reduction in the Lambda-Calculus with Interaction Nets. 797-822 BibTeX
Stefano Berardi, Chantal Berline: BetaEta-Complete Models for System F. 823-874 BibTeX
Bart Jacobs: The Temporal Logic of Coalgebras via Galois Algebras. 875-903 BibTeX