Volume 4, Number 1, March 1994
- Bruno Courcelle:
Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties.
1-32

- Oege de Moor:
Categories, Relations and Dynamic Programming.
33-69

- Ryu Hasegawa:
Categorical Data Types in Parametric Polymorphism.
71-109

- Thomas Streicher:
A Universality Theorem for PCF With Recursive Types, Parallel-Or and Exists.
111-115

Volume 4, Number 2, June 1994
Volume 4, Number 3, September 1994
Volume 4, Number 4, December 1994
Last update Thu May 23 15:25:59 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page