Invited Talks.- Regular and Algebraic Words and Ordinals.- Logical Semantics of Types for Concurr...