Mathematical Structures in Computer Science, Volume 4

Volume 4, Number 1, March 1994

• Bruno Courcelle: Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties. 1-32 BibTeX
• Oege de Moor: Categories, Relations and Dynamic Programming. 33-69 BibTeX
• Ryu Hasegawa: Categorical Data Types in Parametric Polymorphism. 71-109 BibTeX
• Thomas Streicher: A Universality Theorem for PCF With Recursive Types, Parallel-Or and Exists. 111-115 BibTeX

Volume 4, Number 2, June 1994

• Peter M. W. Knijnenburg, Frank Nordemann: Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic. 117-146 BibTeX
• Kenneth Baclawski, Dan A. Simovici, William White: A Categorical Approach to Database Semantics. 147-183 BibTeX
• Dominique Duval, Jean-Claude Reynaud: Sketches and Computation - I: Basic Definitions and Static Evaluation. 185-238 BibTeX
• Dominique Duval, Jean-Claude Reynaud: Sketches and Computation - II: Dynamic Evaluation and Applications. 239-271 BibTeX
• Arnaud Fleury, Christian Retoré: The Mix Rule. 273-285 BibTeX

Volume 4, Number 3, September 1994

• Kimmo I. Rosenthal: A Categorical Look at Tree Automata and Context-Free Languages. 287-293 BibTeX
• Michael Pfender, K. Kröplin, D. Pape: Primitive Recursion, Equality, and a Universal Set. 295-313 BibTeX
• Roberto Di Cosmo, Delia Kesner: Simulating Expansions without Expansions. 315-362 BibTeX
• Joseph A. Goguen, Razvan Diaconescu: An Oxford Survey of Order Sorted Algebra. 363-392 BibTeX

Volume 4, Number 4, December 1994

• Harold Simmons: The Glueing Construction and Lax Limits. 393-431 BibTeX
• Andrzej Ehrenfeucht, Grzegorz Rozenberg: Dynamic Labeled 2-Structures. 433-455 BibTeX
• Andrea Asperti, Cosimo Laneve: Interaction Systems I: The Theory of Optimal Reductions. 457-504 BibTeX
• Steven T. Tschantz: Languages under Concatenation and Shuffling. 505-511 BibTeX