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

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

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

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