1 Table of Contents: “... Formal languages as models for biological growth -- 2.4 Graph rewriting systems and their application...”

2 Table of Contents: “... expressions and its use for graph rewriting systems -- On context-free sets of graphs and their monadic second...”

3 Table of Contents: “... of impredicative type theories -- Two results on set-theoretic polymorphism -- An algebra of graphs and graph...”