(PDF) Typed Processes in Untyped Contexts